loading SCIP...
9 27250 true
17 42 47 50 51 53 70 84 89