manual:chapter6:solvers:cmd_bisect