loading SCIP...
59 63 true
1 5 6 9 13 15 17 19 20 21 22 24 25 26 27 28 31 32 33 34 35 36 37 38 39 40 42 43 45 46 47 49 50 51 53 56 57 58 59 62 64 66 70 71 74 75 78 79 80 81 85 86 87 88 89 90 92 97 99