c
c
p cnf 5 10
2 4 -1 0
2 3 2 0
5 -4 -4 0
1 0
-3 0
-5 0
5 2 0
3 2 0
-4 -5 0
5 1 0