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