loading SCIP...
13 38485 true
0 1 7 9 33 34 41 42 46 49 66 70 95