# (x13 V x17) A (x10 V -x16) A (x6 V -x8) A (-x3 V x5) A (-x11 V -x13) A (-x17 V -x13) A (-x3 V -x13) A (x5 V -x13) A (-x7 V -x2) A (x2 V -x12) A (-x12 V -x8) A (-x7 V -x4) A (-x17 V -x2) A (-x7 V x15) A (-x11 V -x3) A (-x3 V -x3) A (x7 V x12) A (-x3 V x16) A (-x13 V -x9) A (-x15 V -x12) A (-x6 V -x3) A (-x12 V x17) A (x6 V x10) A (x10 V -x12) A (x15 V -x1) A (x11 V -x14) A (-x6 V -x13) A (x6 V x3) A (-x8 V -x9) A (x8 V -x6) A (x7 V x10) A (x10 V -x7) A (-x13 V x8) A (x8 V x4) A (x8 V x5) A (x3 V x1) A (x1 V -x16) A (-x5 V x12) A (x6 V -x16) A (x12 V -x3)  TRUE assignment:1 -1 -1  1 -1  1 -1  1 -1  1  1 -1  1 -1  1 -1 -1  1  1 -1  1 -1 -1  1 -1  1  1 -1  1 -1  1 -1  1 -1
13 17
10 -16
6 -8
-3 5
-11 -13
-17 -13
-3 -13
5 -13
-7 -2
2 -12
-12 -8
-7 -4
-17 -2
-7 15
-11 -3
-3 -3
7 12
-3 16
-13 -9
-15 -12
-6 -3
-12 17
6 10
10 -12
15 -1
11 -14
-6 -13
6 3
-8 -9
8 -6
7 10
10 -7
-13 8
8 4
8 5
3 1
1 -16
-5 12
6 -16
12 -3