三个方程四个未知量的线性非齐次方程组满足什么情况时一定有解?