loading SCIP...
10 50875 true
12 46 57 60 72 78 80 88 91 92