loading SCIP...
27 14312 true
3 12 15 16 18 19 21 22 24 26 34 35 38 42 44 45 51 56 58 60 62 65 86 87 91 93 98