loading SCIP...
8 44250 true
10 42 57 75 78 80 86 99