loading SCIP...
18 28016 true
0 4 5 11 19 41 42 52 56 58 60 70 71 74 79 80 90 91