loading SCIP...
12 43250 true
7 26 35 54 63 66 79 80 86 87 88 98