Symbol: solver_solve