loading SCIP...
12 41172 true
7 23 25 26 47 52 62 68 72 74 78 85