loading SCIP...
9 44469 true
0 26 29 32 53 65 71 76 89