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