4 lines
19 B
Plaintext
4 lines
19 B
Plaintext
|
p cnf 1 2
|
||
|
|
1 0
|
||
|
|
-1 0
|