loading SCIP...
57 78 true
1 2 4 5 6 7 8 10 11 13 14 17 18 20 23 24 25 26 27 31 33 36 39 40 41 44 45 48 49 50 52 54 55 60 63 64 65 66 67 68 69 71 72 74 75 76 77 78 81 82 86 87 88 89 90 91 92