解非齐次线性方程组,先判断是否有解?