Symbol: SOLVER_UPDATE