x1 = a
x2 = b
x3 = aRel