fixed several small bugs. This version still exits on second UNSAT.
Reason unknown.
Probable explanations:
1. Error while constructing Minisat::problem or its corruption;
2. Error while saving information to history;
3. Error while retrieveing information from history.