loading SCIP...
10 46547 true
0 2 17 19 44 56 60 70 84 91