Symbol: solver_take_solution