loading SCIP...
12 38062 true
3 10 12 37 43 60 62 69 70 72 80 93