loading SCIP...
39 1719 true
5 6 7 11 12 14 15 17 20 21 22 23 26 28 34 36 39 40 41 44 46 52 53 55 60 64 69 73 74 76 77 81 85 86 87 88 89 96 98