31.2. Solver Details