设变量x,y满足x+y