loading SCIP...
58 63 true
0 1 4 5 6 7 8 9 10 12 13 15 18 21 23 25 27 28 29 33 36 38 39 40 41 43 45 46 48 50 52 54 56 58 59 60 63 65 68 70 71 74 76 77 78 81 82 83 85 86 87 89 90 91 92 93 95 99