loading SCIP...
28 13125 true
6 15 16 17 20 23 27 33 36 41 42 43 50 51 54 55 56 61 64 68 70 74 76 78 79 87 89 93