loading SCIP...
11 44547 true
11 19 25 34 57 66 67 69 77 81 89