loading SCIP...
13 37094 true
15 31 33 34 41 52 64 71 72 74 78 93 95