4 -Dsatin.tuplespace.numbered=true SATSolver ../examples/benchmark-suite/qg5-10.cnf -satin-closed
