10 lines
93 B
INI
10 lines
93 B
INI
|
|
p cnf 6 2
|
|
+1 +2 +3 +4 +5 +6
|
|
-1 -2 -3 -4 -5 -6
|
|
|
|
|
|
c a correct solution is: 0 0 0 0 0 1
|
|
|
|
|
|
|