#FILE a3 1
14
1 2 3 4
1 2 5 8
1 3 6 9
1 4 6 8
1 5 8 9
2 4 5 8
3 4 5 9
3 4 6 7
5 6 1 9
5 6 7 8
6 7 1 2
7 5 1 3
8 9 2 6
8 9 3 7
