Symbol: SOLVER_ORUPDATE