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