loading SCIP...
14 34500 true
20 24 29 32 40 42 43 46 52 55 66 71 84 94