loading SCIP...
15 29500 true
18 27 34 36 38 40 45 49 51 55 59 71 74 75 92