loading SCIP...
10 44250 true
11 18 20 30 52 55 71 79 85 99