minisat cleanup