loading SCIP...
53 78 true
1 3 4 6 10 12 13 15 17 18 22 27 28 30 34 35 41 42 43 45 46 48 49 50 51 52 53 54 55 56 57 58 61 64 67 69 71 72 75 76 79 81 82 83 84 85 87 89 91 92 93 94 95