loading SCIP...
56 78 true
1 6 8 9 10 12 13 15 17 18 20 22 23 24 26 27 28 31 33 34 35 36 39 41 44 45 47 48 54 56 57 58 60 61 62 63 65 67 68 69 71 72 73 74 76 77 83 85 86 89 90 93 95 96 97 99