loading SCIP...
37 2687 true
1 3 5 7 10 12 14 17 18 32 33 34 35 38 39 42 43 47 49 51 52 61 62 68 72 73 74 77 81 82 83 85 87 89 94 98 99