loading SCIP...
8 33063 true
12 14 21 50 53 59 84 93