loading SCIP...
27 14312 true
0 7 14 16 24 25 29 31 38 40 43 45 50 52 57 58 59 71 73 74 78 82 85 89 90 92 94