loading SCIP...
12 38844 true
10 12 16 24 28 31 40 55 56 63 71 91