fcds-lab-2015/c_sequential/3sat/input/small1.in

6 lines
32 B
Plaintext

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