loading SCIP...
27 14719 true
2 5 10 17 20 21 24 25 33 34 43 44 46 47 51 57 58 65 79 85 86 90 91 92 94 96 99