loading SCIP...
27 15875 true
12 18 19 26 29 31 36 37 41 42 43 50 52 53 55 57 59 61 66 73 79 84 85 86 92 94 99