Hi, All, I am new to SCIP. I want to know how to set a parameter ub (e.g. -1e10) so that if SCIP find the upper bound is smaller than ub SCIP can stop and declare that the problem is unbounded? Also, how to provide known upper/lower bounds before b&b, which might help speed the solution time of SCIP? Thanks very much! Regards, Yankai