===> Cleaning for minisat-2.2.0