pub const SCIP_Status_SCIP_STATUS_UNBOUNDED: SCIP_Status = 3;
< the problem was proven to be unbounded