loading SCIP...
11 39546 true
3 16 21 28 34 37 50 84 88 91 95