整数线性规划实现（lingo，python分枝界定法）