loading SCIP...
8 35672 true
13 44 45 60 69 71 82 97