方程组X比Y等于1:3 5x减3y等于12 用消元代入做