对于一个约束条件比未知数多的方程组 是不是无解