more minisat cleanup