minisat+-invocation
