loading SCIP...
18 29359 true
1 19 26 29 38 43 46 49 52 60 63 66 68 70 71 80 86 95