p cnf 19 5
8 -15 -16 0
9 -12 -14 0
5 -13 3 19 10 6 15 0
-7 16 -9 0
-2 -3 -19 -18 0