Solver #1.