loading SCIP...
27 15313 true
5 9 12 14 24 26 29 31 37 47 50 56 57 60 61 67 68 69 72 73 80 83 85 89 90 91 92