x2+y2+1≤2x+2y
x2+y2+1-2x-2y≤0
(x-1)2+(y-1)2≤1
x+y=1,2,3