Bugfix: avoid overflow in heuristic for elimination order.
Bugfix: avoid overflow in heuristic for elimination order.

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