已知方程组x1 ax2 x3 x4=1与方程组同解,则的值为( ).