Allow to speed up bisection with evaluation
Use evaluate_func in min_sat