loading SCIP...
9 46750 true
5 26 29 33 39 40 45 56 65