loading SCIP...
31 8250 true
0 8 9 11 12 14 15 16 24 29 32 33 35 36 39 41 53 54 60 62 66 70 71 72 75 81 86 87 90 97 99