loading SCIP...
59 78 true
0 1 2 6 8 9 10 12 15 16 19 24 25 26 27 32 33 36 38 39 42 44 45 46 47 48 49 50 51 52 54 55 56 59 60 61 62 64 66 67 70 72 73 74 77 78 79 80 82 84 85 86 87 89 91 93 95 96 97