[ABC042A] 和風いろはちゃんイージー
题意翻译
给出三个数$A,B,C$,$1≤A,B,C≤10$,判断$A,B,C$是否能重新排列为$575$。
翻译由[$@PCT2506$](https://www.luogu.com.cn/user/793625)提供
题目描述
[problemUrl]: https://atcoder.jp/contests/abc042/tasks/abc042_a
日本の誇る美しいリズムとして、五七五というものがあります。いろはちゃんは五七五が大好きです。
$ 3 $ つの文節の並びの長さがそれぞれ $ 5,7,5 $ となるようにこの順番で並んでいるとき、その $ 3 $ つの文節の並びは五七五であると言います。
並び替えたい $ 3 $ つの文節の長さを表す整数 $ A,B,C $ が与えられるので、それらの文節を並び替えて五七五にできるか判定してください。
输入输出格式
输入格式
入力は以下の形式で標準入力から与えられる。
> $ A $ $ B $ $ C $
输出格式
文節の並びを五七五にすることができるなら `YES` 、そうでないなら `NO` を出力せよ。
输入输出样例
输入样例 #1
5 5 7
输出样例 #1
YES
输入样例 #2
7 7 5
输出样例 #2
NO
说明
### 制約
- $ 1≦A,B,C≦10 $
### Sample Explanation 1
与えられる文節の長さはそれぞれ $ 5,5,7 $ であり、$ 5,7,5 $ となるように文節を並び替えることができます。したがって、文節の並びを五七五にすることは可能といえます。