Symbol: SOLVER_SETARCH