已知x,y满足约束条件1