loading SCIP...
8 33859 true
9 10 19 29 61 75 87 91