x, y, a, b, 
a*x+y-1
b*x+y-2
a*y+2*x
a*y+b*x+1
