loading SCIP...
12 40750 true
0 8 21 30 33 47 64 69 76 80 86 89