loading SCIP...
10 45219 true
18 20 29 36 38 39 43 60 72 87