loading SCIP...
27 13406 true
7 11 13 15 24 28 30 33 36 39 41 49 52 54 55 59 62 63 67 68 73 74 75 78 86 91 97