已知x,y满足约束条件x>=1,x-3y