A - Iroha and Haiku (ABC Edition)
atcoder.jp
AtCoder is a programming contest site for anyone from beginners to experts. We hold weekly programming contests online.

「5が2つだけあること」「7が1つだけあること」の両方の条件がそろっていたらYESである。

条件の判定は色々あるが、数列でカウントして判定した。（下記リンク参照）

解答例（C++）
https://atcoder.jp/contests/abc042/submissions/27596651