lingo中运行的一个线性规划无解,应该有的,