loading SCIP...
11 39250 true
7 18 19 26 30 53 54 72 89 90 98