loading SCIP...
9 48359 true
15 19 26 29 37 45 48 80 95