3. Solver (9)