loading SCIP...
27 13703 true
7 16 17 18 19 22 29 32 33 35 38 50 52 55 58 62 64 66 71 73 74 87 89 91 92 94 95