loading SCIP...
11 38125 true
23 36 47 50 62 64 65 89 91 95 98