loading SCIP...
36 5063 true
1 2 3 6 9 13 18 21 23 25 26 28 29 30 31 40 45 46 48 52 56 59 60 69 71 73 74 82 84 86 88 92 94 95 97 99