loading SCIP...
11 41828 true
16 19 30 32 42 45 55 62 64 65 91