c --no-subsume
c --eliminit=0
p cnf 3 3
-1 2 0
-1 3 0
1 -2 -3 0