loading SCIP...
52 94 true
2 3 4 6 12 16 18 19 24 28 29 32 33 35 36 37 38 42 45 46 50 51 52 53 54 55 56 57 58 60 63 65 66 68 69 70 72 73 75 78 80 83 88 89 90 91 92 94 95 96 98 99