loading SCIP...
8 43235 true
0 25 39 40 62 77 86 90