loading SCIP...
13 34110 true
11 27 31 32 47 53 54 60 63 68 69 77 84