p cnf 6 19
-2 0
-1 -2 0
-3 -4 0
1 3 4 -5 0
1 -3 -4 -5 0
-1 3 -4 -5 0
-1 -3 4 -5 0
-1 -3 -4 5 0
-1 3 4 5 0
1 -3 4 5 0
1 3 -4 5 0
1 3 -6 0
1 4 -6 0
3 4 -6 0
-1 -3 6 0
-1 -4 6 0
-3 -4 6 0
-1 -6 0
-5 -6 0