loading SCIP...
9 49672 true
1 12 19 26 62 75 76 87 89