loading SCIP...
12 37547 true
18 29 39 43 48 53 56 60 64 82 85 87