Modify VSIDS of Mini2SAT.hpp