loading SCIP...
13 35281 true
9 15 19 21 30 59 60 71 73 78 84 85 87