solve(9)