loading SCIP...
10 50891 true
7 11 24 25 50 56 60 70 89 91