loading SCIP...
73 78 true
0 1 2 3 4 6 8 11 12 13 15 16 17 18 19 20 21 24 26 27 28 32 33 34 35 36 37 38 40 43 44 45 46 47 48 49 50 51 54 56 58 59 60 62 64 66 67 68 69 70 72 73 74 75 76 78 80 82 83 84 86 87 88 89 90 91 92 93 94 96 97 98 99