minisat+-invocation
make-environment
