loading SCIP...
51 94 true
0 4 5 7 8 9 10 12 16 17 18 21 22 23 24 26 27 30 32 35 36 40 41 46 48 50 52 54 57 59 61 63 65 66 70 71 72 76 78 79 80 82 86 87 88 89 90 91 95 96 98