loading SCIP...
10 42500 true
8 16 27 36 45 60 66 89 93 94