20 7
1 2 3 6 7 8 9 13 15 16  -1 
0 2 3 4 5 7 11 12 14 15 16 19  -1 
0 1 7 9 11 13 14 15 16 17  -1 
0 1 5 7 8 11 12 13 14 18  -1 
1 5 8 9 10 12 13 14 15 16 18 19  -1 
1 3 4 6 7 9 12 13 14 15 16 18  -1 
0 5 7 9 10 11 12 14 16 19  -1 
0 1 2 3 5 6 9 10 11 12 17 18 19  -1 
0 3 4 12 17 18  -1 
0 2 4 5 6 7 10 12 13 14 15 18  -1 
4 6 7 9 12 13 14 16 17 19  -1 
1 2 3 6 7 13 17  -1 
1 3 4 5 6 7 8 9 10 13 14 16 17 19  -1 
0 2 3 4 5 9 10 11 12 17 18 19  -1 
1 2 3 4 5 6 9 10 12 17 19  -1 
0 1 2 4 5 9 17 18  -1 
0 1 2 4 5 6 10 12 17 18 19  -1 
2 7 8 10 11 12 13 14 15 16 19  -1 
3 4 5 7 8 9 13 15 16 19  -1 
1 4 6 7 10 12 13 14 16 17 18  -1 
