c
p cnf 3 2
1 -3 0
2 3 -1 0