simply the interface to multi minisat