11 lines
97 B
Plaintext
11 lines
97 B
Plaintext
|
c status 20
|
||
|
|
c --probeinit=0
|
||
|
|
c --substitute=0
|
||
|
|
p cnf 5 6
|
||
|
|
-3 5 0
|
||
|
|
-3 2 0
|
||
|
|
-4 -1 0
|
||
|
|
-2 -5 0
|
||
|
|
3 1 0
|
||
|
|
3 4 0
|