Fixed bugs on Deletion strategy.
Imported minisat heap.