loading SCIP...
9 46265 true
20 35 48 61 70 79 84 86 94