loading SCIP...
28 14234 true
0 11 14 20 21 23 26 29 34 37 42 45 47 48 51 53 68 71 74 80 84 85 86 87 88 93 94 95