loading SCIP...
32 6969 true
0 1 6 13 14 22 23 31 33 43 48 50 52 54 55 58 59 60 61 66 69 71 72 74 77 79 81 86 90 91 94 95