Symbol: SOLVER_REASON_SUPPLEMENTED