loading SCIP...
12 38703 true
10 12 23 26 36 42 53 57 61 65 69 77