loading SCIP...
11 42547 true
7 15 23 27 33 45 59 88 90 94 98