loading SCIP...
24 20094 true
9 10 13 22 29 35 36 40 46 47 50 51 55 60 65 69 70 71 74 85 88 89 91 93