intTuiLi::OK()根据约束条件剪枝的剪枝函数{inti,j;if((Fz[0]ys==Fz[1]ysFz[0]ys!=0)