pub const SCIP_Result_SCIP_DIDNOTFIND: SCIP_Result = 3;
< the method was executed, but failed finding anything