loading SCIP...
12 38532 true
9 15 28 43 52 67 79 87 88 89 91 94