M=8_K=7_Q=8_minh=2_ineq=0.txt

0 1 2 3 4 5 6
0 1 2 3 4 5 7
0 1 2 3 4 6 7
0 1 2 3 5 6 7
0 1 2 4 5 6 7
0 1 3 4 5 6 7
0 2 3 4 5 6 7
1 2 3 4 5 6 7