loading SCIP...
27 10781 true
6 8 10 12 21 24 25 34 35 37 38 39 44 45 47 48 64 65 68 74 75 77 82 86 87 89 97