c sample.cnfcc This is an example of the CNF-SAT problem datac in DIMACS format.cp cnf 4 31 2 0-4 3-2 0-1 4 0cc eof
c sample.cnf
c
c This is an example of the CNF-SAT problem data
c in DIMACS format.
p cnf 4 3
1 2 0
-4 3
-2 0
-1 4 0
c eof
