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