loading SCIP...
27 13250 true
7 10 15 17 26 29 30 33 36 39 45 50 52 55 63 65 75 77 81 84 86 90 95 96 97 98 99