manual:chapter3:solver