p cnf 7 128
7 6 -5 -1 -2 -3 -4 0
7 6 -5 -1 -2 -3 4 0
7 6 -5 -1 -2 3 -4 0
7 6 -5 -1 -2 3 4 0
7 6 -5 -1 2 -3 -4 0
7 6 -5 -1 2 -3 4 0
7 6 -5 -1 2 3 -4 0
7 6 -5 -1 2 3 4 0
7 6 -5 1 -2 -3 -4 0
7 6 -5 1 -2 -3 4 0
7 6 -5 1 -2 3 -4 0
7 6 -5 1 -2 3 4 0
7 6 -5 1 2 -3 -4 0
7 6 -5 1 2 -3 4 0
7 6 -5 1 2 3 -4 0
7 6 -5 1 2 3 4 0
7 6 5 -1 -2 -3 -4 0
7 6 5 -1 -2 -3 4 0
7 6 5 -1 -2 3 -4 0
7 6 5 -1 -2 3 4 0
7 6 5 -1 2 -3 -4 0
7 6 5 -1 2 -3 4 0
7 6 5 -1 2 3 -4 0
7 6 5 -1 2 3 4 0
7 6 5 1 -2 -3 -4 0
7 6 5 1 -2 -3 4 0
7 6 5 1 -2 3 -4 0
7 6 5 1 -2 3 4 0
7 6 5 1 2 -3 -4 0
7 6 5 1 2 -3 4 0
7 6 5 1 2 3 -4 0
7 6 5 1 2 3 4 0
7 -6 -5 -1 -2 -3 -4 0
7 -6 -5 -1 -2 -3 4 0
7 -6 -5 -1 -2 3 -4 0
7 -6 -5 -1 -2 3 4 0
7 -6 -5 -1 2 -3 -4 0
7 -6 -5 -1 2 -3 4 0
7 -6 -5 -1 2 3 -4 0
7 -6 -5 -1 2 3 4 0
7 -6 -5 1 -2 -3 -4 0
7 -6 -5 1 -2 -3 4 0
7 -6 -5 1 -2 3 -4 0
7 -6 -5 1 -2 3 4 0
7 -6 -5 1 2 -3 -4 0
7 -6 -5 1 2 -3 4 0
7 -6 -5 1 2 3 -4 0
7 -6 -5 1 2 3 4 0
7 -6 5 -1 -2 -3 -4 0
7 -6 5 -1 -2 -3 4 0
7 -6 5 -1 -2 3 -4 0
7 -6 5 -1 -2 3 4 0
7 -6 5 -1 2 -3 -4 0
7 -6 5 -1 2 -3 4 0
7 -6 5 -1 2 3 -4 0
7 -6 5 -1 2 3 4 0
7 -6 5 1 -2 -3 -4 0
7 -6 5 1 -2 -3 4 0
7 -6 5 1 -2 3 -4 0
7 -6 5 1 -2 3 4 0
7 -6 5 1 2 -3 -4 0
7 -6 5 1 2 -3 4 0
7 -6 5 1 2 3 -4 0
7 -6 5 1 2 3 4 0
-7 6 -5 -1 -2 -3 -4 0
-7 6 -5 -1 -2 -3 4 0
-7 6 -5 -1 -2 3 -4 0
-7 6 -5 -1 -2 3 4 0
-7 6 -5 -1 2 -3 -4 0
-7 6 -5 -1 2 -3 4 0
-7 6 -5 -1 2 3 -4 0
-7 6 -5 -1 2 3 4 0
-7 6 -5 1 -2 -3 -4 0
-7 6 -5 1 -2 -3 4 0
-7 6 -5 1 -2 3 -4 0
-7 6 -5 1 -2 3 4 0
-7 6 -5 1 2 -3 -4 0
-7 6 -5 1 2 -3 4 0
-7 6 -5 1 2 3 -4 0
-7 6 -5 1 2 3 4 0
-7 6 5 -1 -2 -3 -4 0
-7 6 5 -1 -2 -3 4 0
-7 6 5 -1 -2 3 -4 0
-7 6 5 -1 -2 3 4 0
-7 6 5 -1 2 -3 -4 0
-7 6 5 -1 2 -3 4 0
-7 6 5 -1 2 3 -4 0
-7 6 5 -1 2 3 4 0
-7 6 5 1 -2 -3 -4 0
-7 6 5 1 -2 -3 4 0
-7 6 5 1 -2 3 -4 0
-7 6 5 1 -2 3 4 0
-7 6 5 1 2 -3 -4 0
-7 6 5 1 2 -3 4 0
-7 6 5 1 2 3 -4 0
-7 6 5 1 2 3 4 0
-7 -6 -5 -1 -2 -3 -4 0
-7 -6 -5 -1 -2 -3 4 0
-7 -6 -5 -1 -2 3 -4 0
-7 -6 -5 -1 -2 3 4 0
-7 -6 -5 -1 2 -3 -4 0
-7 -6 -5 -1 2 -3 4 0
-7 -6 -5 -1 2 3 -4 0
-7 -6 -5 -1 2 3 4 0
-7 -6 -5 1 -2 -3 -4 0
-7 -6 -5 1 -2 -3 4 0
-7 -6 -5 1 -2 3 -4 0
-7 -6 -5 1 -2 3 4 0
-7 -6 -5 1 2 -3 -4 0
-7 -6 -5 1 2 -3 4 0
-7 -6 -5 1 2 3 -4 0
-7 -6 -5 1 2 3 4 0
-7 -6 5 -1 -2 -3 -4 0
-7 -6 5 -1 -2 -3 4 0
-7 -6 5 -1 -2 3 -4 0
-7 -6 5 -1 -2 3 4 0
-7 -6 5 -1 2 -3 -4 0
-7 -6 5 -1 2 -3 4 0
-7 -6 5 -1 2 3 -4 0
-7 -6 5 -1 2 3 4 0
-7 -6 5 1 -2 -3 -4 0
-7 -6 5 1 -2 -3 4 0
-7 -6 5 1 -2 3 -4 0
-7 -6 5 1 -2 3 4 0
-7 -6 5 1 2 -3 -4 0
-7 -6 5 1 2 -3 4 0
-7 -6 5 1 2 3 -4 0
-7 -6 5 1 2 3 4 0