loading SCIP...
27 14672 true
0 10 13 21 28 29 34 37 41 43 45 52 55 59 61 67 68 72 74 77 79 81 82 85 86 88 99