Back Substitution
Distributing y makes it cost-optimal