loading SCIP...
12 37672 true
0 8 23 25 26 31 41 43 44 51 74 89