loading SCIP...
48 94 true
1 2 5 7 12 14 15 16 17 19 25 28 29 33 34 37 38 40 44 45 46 47 48 50 56 58 59 60 61 62 64 65 66 69 70 73 75 78 80 84 85 86 89 91 92 94 96 98