loading SCIP...
53 93 true
0 2 4 5 10 11 13 15 18 19 20 24 26 27 28 29 30 32 33 35 36 37 39 40 44 51 52 53 54 55 56 57 58 60 61 63 68 73 74 75 77 78 79 80 82 83 84 90 91 93 94 95 97