Symbol: SOLVER_SETNAME