loading SCIP...
10 44171 true
14 37 38 46 51 61 69 74 89 99