loading SCIP...
12 39765 true
8 13 19 21 34 38 47 49 59 65 80 90