loading SCIP...
42 2078 true
0 6 8 10 11 12 15 20 21 22 23 25 27 29 30 31 36 39 40 41 43 48 49 50 53 54 61 64 67 68 69 71 77 78 81 82 84 86 87 88 94 95