loading SCIP...
62 94 true
0 2 3 6 9 10 13 14 15 16 18 19 20 21 23 26 27 28 30 31 32 33 35 36 37 39 41 42 47 50 51 52 54 55 59 61 63 64 65 66 67 69 70 71 73 74 75 76 77 79 80 81 84 86 88 89 90 91 92 94 98 99