loading SCIP...
39 2735 true
0 2 6 11 15 16 17 18 23 24 31 37 38 39 40 42 45 46 47 49 54 59 64 66 68 72 74 77 80 83 84 85 87 88 89 91 92 98 99