r2[y] < w1[y]
w2[x] < r1[x]
w2[x] < r3[x]



Conflicts:
	   w2[x] < r1[x]
	   r2[y] < w1[y]