loading SCIP...
11 37797 true
0 4 10 17 22 51 52 53 75 89 94