loading SCIP...
27 14375 true
8 9 10 11 13 15 19 21 29 32 33 38 42 45 46 56 60 62 65 69 70 74 76 84 85 92 96