loading SCIP...
8 48187 true
5 27 29 32 40 65 83 88