How do you solve by substitution x=y11 and x3y=1?