loading SCIP...
12 37297 true
24 28 45 53 54 70 72 79 80 85 87 89