loading SCIP...
9 46359 true
0 16 19 38 67 71 93 94 95