c RUN: %solver --maxsol 20 --verb=0 %s | %OutputCheck %s
c ind 1 2 3 0
1 2 3 0
-1 3 0
-1 2 0
2 3 0
-2 -3 0
c CHECK:     ^s SATISFIABLE$
c CHECK:     ^s SATISFIABLE$
c CHECK-NOT:     ^s SATISFIABLE$
c CHECK: UNSATISFIABLE
