p cnf 10 10
5 9 3 0
3 7 4 0
-10 2 -1 0
-6 4 2 0
1 5 -8 0
-2 -6 9 0
-10 -7 -8 0
-7 -5 -10 0
-6 8 9 0
4 -1 -3 0