loading SCIP...
16 34375 true
11 13 16 19 24 25 30 37 38 40 49 55 61 65 93 95