loading SCIP...
11 36000 true
12 20 25 27 40 55 56 62 69 87 98