p cnf 17 12
2 -12 0
-2 1 0
-10 4 0
11 -15 0
9 -3 0
-10 15 0
2 5 0
3 -10 0
-1 10 0
12 10 0
-1 17 0
-15 -17 0
w 1 1
w -1 1
w 2 1
w -2 1
w 3 1
w -3 1
w 4 1
w -4 1
w 5 1
w -5 1
w 6 1
w -6 1
w 7 1
w -7 1
w 8 1
w -8 1
w 9 1
w -9 1
w 10 1
w -10 1
w 11 1
w -11 1
w 12 1
w -12 1
w 13 1
w -13 1
w 14 1
w -14 1
w 15 1
w -15 1
w 16 1
w -16 1
w 17 1
w -17 2