loading SCIP...
11 30047 true
12 19 21 42 46 48 49 69 90 95 97