loading SCIP...
27 13547 true
0 2 7 10 17 18 22 25 31 33 43 48 50 57 60 61 62 75 77 80 82 84 87 89 90 93 99