There is more than one optimal expanded plan. Set x to zero and use the second resource fully: y plus two t equals five. Feasibility requires t between one and two point five. Every such plan gives ten. The solver may return zero, zero, two point five instead of zero, three, one. In your checks, allow alternative optimal allocations and verify their constraints and value.
