loading SCIP...
17 33750 true
16 20 22 25 47 50 52 55 59 64 70 78 80 84 86 90 94