size 7

initial:
(0,6)=6
(3,3)=1
(5,1)=1
(6,3)=6

constraints: