Evaluate the solution and use it as the max val in min_sat with bisection

Also, set a large increment value, as the max val will make small incrementing
unnecessary.
Remove done TODO comment