loading SCIP...
9 46969 true
6 11 23 29 40 51 75 76 85