问题描述

Iroha 热爱俳句（Haiku）。俳句是一种日本短诗形式，由三句组成，音节数分别为 5、7、5的顺序排列。

Iroha 想用自己创作的三个短语组成一首俳句。这三个短语分别有 A、B和 C个音节。请判断她是否能通过使用每个短语一次（以任意顺序排列），构造出符合俳句音节规则的诗歌。

数据范围

1≤A,B,C≤10（每个短语的音节数在 1 到 10 之间）

输入格式

输入通过标准输入（Standard Input）提供，格式如下：

ABC

（三个整数用空格分隔）

输出格式

若能用三个短语构造俳句，输出 YES（区分大小写）；否则输出 NO。

输入输出样例

5 5 7

YES

​​样例1说明​​

使用音节数为 5、5、7的三个短语，可以排列为 5（第一句）、7（第二句）、5（第三句），符合俳句规则。

7 7 5

NO

​​样例2说明​​

短语音节数为 7、7、5，无法通过重排得到 5、7、5的序列。