loading SCIP...
7 48891 true
23 29 32 49 59 83 95