loading SCIP...
27 11610 true
4 7 13 14 15 20 25 26 31 32 34 35 37 41 43 44 45 51 52 53 75 83 91 94 96 97 99