用消元法求解非齐次线性方程组x1 x2 x3=4