loading SCIP...
20 26234 true
8 12 23 24 26 37 38 39 50 54 56 58 60 61 63 69 74 82 86 99