loading SCIP...
52 94 true
2 3 5 7 12 14 17 19 22 23 24 25 27 28 29 30 31 32 36 38 39 40 41 44 45 48 49 52 54 55 56 58 59 60 63 67 70 71 74 75 77 78 79 80 81 86 88 89 90 93 94 99