c
c start with comments
c
c 
p cnf 4 3
1 -4 3 0
-1 4 2 0
-2 -3 -1 0