配点 : $100$ 点

問題文

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

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

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

制約

• $1 \leq A,B,C \leq 10$

入力

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

$A$ $B$ $C$

出力

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

5 5 7

YES

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

7 7 5

NO