Make sure cleanups are performed in eliminate() even when UNSAT detected.
Make sure cleanups are performed in eliminate() even when UNSAT detected.

meteor/minisat,mabdula/minisat,meteor/minisat,meteor/minisat,jamesbornholt/minisat,mabdula/minisat,robertsami/minisat,robertsami/minisat,niklasso/minisat,niklasso/minisat,mabdula/minisat,jamesbornholt/minisat,meteor/minisat