loading SCIP...
12 37672 true
3 11 27 39 45 49 53 80 87 89 91 94