loading SCIP...
27 14844 true
0 1 2 7 19 25 26 35 36 42 50 51 55 57 58 59 62 64 69 79 80 83 84 85 86 93 99