c status 10
c --eliminateinit=0
p cnf 5 3
-2 5 4 1 3 0
-4 0
-2 -3 0