loading SCIP...
12 39469 true
17 30 34 39 49 50 60 68 69 74 85 91