loading SCIP...
40 3609 true
1 4 8 9 14 24 25 27 28 36 37 38 39 42 43 45 46 48 50 51 55 58 61 62 66 71 72 73 75 76 77 78 79 83 84 85 88 89 94 95