loading SCIP...
12 41875 true
6 10 16 25 39 41 53 58 62 69 73 82