题目描述

日本の誇る美しいリズムとして、五七五というものがあります。いろはちゃんは五七五が大好きです。

$3$ つの文節の並びの長さがそれぞれ $5,7,5$ となるようにこの順番で並んでいるとき、その $3$ つの文節の並びは五七五であると言います。

並び替えたい $3$ つの文節の長さを表す整数 $A,B,C$ が与えられるので、それらの文節を並び替えて五七五にできるか判定してください。

输入格式

入力は以下の形式で標準入力から与えられる。

$A$ $B$ $C$

输出格式

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

题目大意

给出三个数$A,B,C$，$1≤A,B,C≤10$，判断$A,B,C$是否能重新排列为$575$。

翻译由$@PCT2506$提供

5 5 7

YES

7 7 5

NO

提示

制約

• $1≦A,B,C≦10$

Sample Explanation 1

与えられる文節の長さはそれぞれ $5,5,7$ であり、$5,7,5$ となるように文節を並び替えることができます。したがって、文節の並びを五七五にすることは可能といえます。