loading SCIP...
54 78 true
5 6 9 10 13 15 17 19 20 21 22 24 27 28 31 34 36 39 41 42 43 44 46 47 48 50 52 56 57 58 60 61 62 70 73 74 75 76 78 79 80 84 85 86 87 88 90 91 92 94 95 97 98 99