3. Solver (17)