fcds-lab-2015/c_sequential/3sat/input/small1.in
2015-04-25 15:39:34 +02:00

6 lines
32 B
Plaintext

4 3
3 3 3
2 1 -1
-3 -2 -3
2 1 2