Переработка Solver`a