loading SCIP...
8 48219 true
27 38 68 69 74 85 94 98