loading SCIP...
39 1594 true
1 6 8 10 12 14 18 21 24 26 27 31 37 39 41 43 45 46 50 51 52 53 62 65 68 69 70 75 77 79 81 83 86 87 90 93 94 96 99