loading SCIP...
11 42391 true
19 36 38 43 47 50 55 60 63 84 93