loading SCIP...
10 46047 true
1 25 37 44 72 76 84 87 93 94