loading SCIP...
11 42922 true
15 19 29 33 50 56 59 60 64 73 91