loading SCIP...
14 40266 true
10 11 25 28 29 33 36 38 61 69 86 93 94 97