用cvxpy 求解01规划问题，其中一个约束条件是左半部分小于一个常数乘以01变量，但如果常数设置的过大，最终得出的结果不满足约束条件，但当常数设置的小一点（问题和前者完全等价），最终结果就是正确的

是否发生了数值越界。即右边乘以一个非常大的常熟的时候，已经超出了类型的最大值表达范围。