loading SCIP...
27 14594 true
0 6 7 12 13 19 25 29 32 34 36 37 38 55 56 57 63 66 72 75 77 79 86 92 93 94 98