loading SCIP...
16 36391 true
5 15 16 20 35 36 47 63 64 71 72 74 78 82 83 94