AT_abc042_a [ABC042A] 和風いろはちゃんイージー

[problemUrl]: https://atcoder.jp/contests/abc042/tasks/abc042_a 日本の誇る美しいリズムとして、五七五というものがあります。いろはちゃんは五七五が大好きです。 $ 3 $ つの文節の並びの長さがそれぞれ $ 5,7,5 $ となるようにこの順番で並んでいるとき、その $ 3 $ つの文節の並びは五七五であると言います。 並び替えたい $ 3 $ つの文節の長さを表す整数 $ A,B,C $ が与えられるので、それらの文節を並び替えて五七五にできるか判定してください。

入力は以下の形式で標準入力から与えられる。 > $ A $ $ B $ $ C $

文節の並びを五七五にすることができるなら `YES` 、そうでないなら `NO` を出力せよ。

### 制約 - $ 1≦A,B,C≦10 $ ### Sample Explanation 1 与えられる文節の長さはそれぞれ $ 5,5,7 $ であり、$ 5,7,5 $ となるように文節を並び替えることができます。したがって、文節の並びを五七五にすることは可能といえます。