loading SCIP...
29 11047 true
0 1 4 5 6 11 18 21 25 34 35 38 50 54 58 60 65 66 70 74 80 85 86 88 89 90 92 93 97