loading SCIP...
11 41234 true
32 35 39 40 42 43 54 55 60 64 91