loading SCIP...
11 42547 true
8 15 17 23 30 39 53 54 60 63 88