loading SCIP...
26 16328 true
0 6 12 19 22 23 24 28 29 36 39 41 43 44 49 51 56 63 66 67 74 82 84 91 94 95