3 x 3 (solvable version of the 7-8 puzzle)
1 = 1
2 = 1
3 = 1
4 = 1
5 = 1
6 = 1
7 = 1
8 = 1
213456870
123456780

autolabel
