Match #71912

5DCT3: (deflateddolphin) vs (atcup)