# (x2 V x3) A (-x3 V x4) A (x1 V -x4) A (x3 V x3) A (-x1 V x4) A (-x1 V -x1) A (-x4 V -x5) A (x2 V -x1) A (x4 V x2) A (-x5 V -x4)  FALSE
2 3
-3 4
1 -4
3 3
-1 4
-1 -1
-4 -5
2 -1
4 2
-5 -4