14 lines
145 B
Plaintext
14 lines
145 B
Plaintext
|
p cnf 6 12
|
||
|
|
1 -2 -3 0
|
||
|
|
-1 -2 3 0
|
||
|
|
1 2 -4 0
|
||
|
|
-1 2 4 0
|
||
|
|
3 5 -6 1 0
|
||
|
|
3 -5 6 2 0
|
||
|
|
-3 -5 -6 2 0
|
||
|
|
-3 5 6 2 0
|
||
|
|
4 5 -6 -1 0
|
||
|
|
4 -5 6 -2 0
|
||
|
|
-4 -5 -6 -2 0
|
||
|
|
-4 5 6 -2 0
|