设4元非齐次线性方程组Ax=b的增广矩阵经初等行变换化为若该线性方程组有唯一解，则a的取值范围应满足 。