loading SCIP...
12 36734 true
12 15 16 40 44 53 54 64 70 74 91 99