loading SCIP...
15 35125 true
12 14 15 17 25 29 34 40 45 55 72 77 78 89 90