Symbol: SOLVER_ESSENTIAL