cplex下不确定次数的while循环

其中f12,f23是变量，f1, f2是常数，这样循环次数不确定，为什么用while还是报错