loading SCIP...
13 39844 true
5 17 24 25 29 31 46 50 60 75 80 86 92