loading SCIP...
11 35406 true
14 18 33 37 53 56 64 67 70 75 85