loading SCIP...
10 43687 true
9 18 26 37 38 42 43 60 64 94