small hack to extend the search on Minisat's core Solver