loading SCIP...
11 33953 true
13 19 23 35 40 44 59 67 70 74 82