loading SCIP...
12 41125 true
10 29 36 48 53 63 74 77 80 88 90 97