size 6
initial:
(1,1)=4
(1,4)=2
(3,0)=3
(3,2)=5
(5,1)=1
constraints:
(0,0)>(1,0)
(0,1)<(1,1)
(0,4)<(1,4)
(1,1)>(1,2)
(1,2)>(2,2)
(3,0)>(4,0)
(3,3)<(4,3)
(3,4)>(4,4)
(4,2)<(5,2)
(5,2)<(5,3)