loading SCIP...
27 15625 true
0 2 9 11 15 19 22 24 29 31 33 35 36 44 47 51 54 55 60 61 63 65 66 70 77 79 82