1 2 3 4 5 6 7 8 9
p cnf 3 7 c-1 -2 -3 0 -1 -2 3 0 -1 2 -3 0 -1 2 3 0 1 -2 -3 0 1 -2 3 0 1 2 -3 0 1 2 3 0