Hi ! Out of curiosity, why is the 1.0e30 constant used in SbbModel::isProvenInfeasible() ? Should it be 1.0e50 like in SbbModel::branchAndBound() ? I did not succeed in getting Sbb answer that a problem is proven infeasible, so I was wondering if it could be a result of these constants. Many thanks in advance, Regards, js