loading SCIP... 10 42906 true 2 29 31 38 39 44 57 61 86 94