p cnf 5 32
-5 -1 -2 -3 -4 0
-5 -1 -2 -3 4 0
-5 -1 -2 3 -4 0
-5 -1 -2 3 4 0
-5 -1 2 -3 -4 0
-5 -1 2 -3 4 0
-5 -1 2 3 -4 0
-5 -1 2 3 4 0
-5 1 -2 -3 -4 0
-5 1 -2 -3 4 0
-5 1 -2 3 -4 0
-5 1 -2 3 4 0
-5 1 2 -3 -4 0
-5 1 2 -3 4 0
-5 1 2 3 -4 0
-5 1 2 3 4 0
5 -1 -2 -3 -4 0
5 -1 -2 -3 4 0
5 -1 -2 3 -4 0
5 -1 -2 3 4 0
5 -1 2 -3 -4 0
5 -1 2 -3 4 0
5 -1 2 3 -4 0
5 -1 2 3 4 0
5 1 -2 -3 -4 0
5 1 -2 -3 4 0
5 1 -2 3 -4 0
5 1 -2 3 4 0
5 1 2 -3 -4 0
5 1 2 -3 4 0
5 1 2 3 -4 0
5 1 2 3 4 0