x2 + y1 <-> x1 + x3
x3 + y4 <-> x2 + y5
x1 <-> y2
x1 <-> y3
x3 <-> y6