loading SCIP...
18 26500 true
8 9 11 21 31 32 38 39 40 47 55 60 70 74 81 92 93 99