已知变量满足约束条件 x+y≥1 x-y≤1 y≤a x≥0