c http://www.qbflib.org/qdimacs.html
p cnf 4 2
e 1 2 3 4 0
-1 2 0
2 -3 -4 0