# (x11 V -x9) A (-x7 V x4) A (-x12 V -x4) A (-x12 V -x9) A (x9 V -x7) A (-x2 V x6) A (-x3 V -x8) A (x3 V -x10) A (-x1 V -x8) A (x2 V x8) A (x9 V -x8) A (x13 V -x7) A (-x5 V x2) A (x6 V x10) A (-x13 V -x13) A (x13 V -x5) A (-x9 V -x13) A (-x13 V -x5) A (-x10 V -x12) A (x5 V -x6)  FALSE
11 -9
-7 4
-12 -4
-12 -9
9 -7
-2 6
-3 -8
3 -10
-1 -8
2 8
9 -8
13 -7
-5 2
6 10
-13 -13
13 -5
-9 -13
-13 -5
-10 -12
5 -6