loading SCIP...
27 14719 true
1 3 6 8 14 15 16 17 25 27 30 34 35 39 44 46 50 51 52 54 62 64 76 84 94 95 99