c --probeinit=0
p cnf 4 8
-3 1 0
-3 2 0
3 -1 -2 0
-4 1 0
-4 2 0
4 -1 -2 0
-3 -4 0
3 4 0