loading SCIP...
10 45625 true
6 14 19 23 51 66 77 84 95 96