loading SCIP...
14 36609 true
9 12 14 25 29 30 31 41 46 47 58 71 75 78