loading SCIP...
40 3672 true
5 8 13 14 18 20 23 24 25 33 37 38 39 41 42 46 51 52 54 58 62 64 66 68 69 73 74 75 78 80 81 84 85 88 89 91 92 95 96 98