利用克莱默法则求线性方程组的解X1➕2X2➕4X3=31