loading SCIP...
40 2062 true
3 7 17 18 19 21 22 25 30 31 33 34 36 37 38 40 42 43 45 46 47 48 50 52 58 60 63 70 71 72 75 77 83 84 87 89 90 92 93 99