loading SCIP...
57 78 true
0 1 3 7 11 12 13 15 17 18 19 21 23 24 26 27 28 29 30 31 32 35 36 37 38 41 42 45 48 51 52 53 59 60 61 64 65 66 67 68 69 73 74 75 76 78 79 80 86 88 90 91 92 93 94 96 97