add SAT.setConfBudget to limit search by number of conflicts
implement adaptive search strategy from pbct-0.1.3 <http://www.residual.se/pbct/>