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

日本引以为傲的美丽韵律中，有一种叫做“五七五”的形式。いろは酱非常喜欢五七五。 如果有 $3$ 个短语的长度分别为 $5,7,5$，并且按照这个顺序排列，那么这 $3$ 个短语的排列就称为五七五。 现在给定表示 $3$ 个短语长度的整数 $A,B,C$，请判断能否通过重新排列这三个短语，使其成为五七五的形式。

输入以如下格式从标准输入中给出。 > $A$ $B$ $C$

如果能够将短语的排列变为五七五，则输出 `YES`，否则输出 `NO`。

## 限制 - $1 \leq A,B,C \leq 10$ ## 样例解释 1 给定的短语长度分别为 $5,5,7$，可以通过排列成 $5,7,5$ 的顺序。因此，可以将短语的排列变为五七五。 由 ChatGPT 4.1 翻译