loading SCIP...
42 2312 true
4 5 6 8 12 14 15 19 21 25 26 28 30 34 36 40 42 43 44 45 47 49 52 54 56 59 69 70 71 73 74 75 78 79 80 83 84 85 89 94 96 97