Symbol: _SetSolver