loading SCIP...
11 38250 true
17 19 26 40 44 52 62 85 92 94 97