c Example CNF format file
c
p cnf 4 3
1 3 -4 0
4 0 2
-3