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