已知xy满足约束条件y