At c one equal to two, the objective is two times the sum of x and y. Resource one bounds that sum by four, giving value at most eight. Every feasible point along the edge from zero, four to one, three attains eight. A solver may return either endpoint. Check value and feasibility instead of demanding one specific solution vector.
