问题描述

伊罗哈喜欢俳句。俳句是一种日本诗歌的短形式。一个俳句由三个短语组成，分别有 $5$、$7$ 和 $5$ 个音节，按照这个顺序排列。

为了写一首俳句，伊罗哈想出了三个不同的短语。这些短语分别有 $A$、$B$ 和 $C$ 个音节。判断她是否可以通过使用每个短语一次来构建一首俳句。

约束条件

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

输入

输入通过标准输入给出，具体格式如下：

$A$ $B$ $C$

输出

如果能够通过使用每个短语一次来构建一首俳句，则打印 YES（区分大小写）。否则，打印 NO。

示例输入1

5 5 7

示例输出1

YES

使用长度为 $5$、$5$ 和 $7$ 的三个短语，可以构建一首俳句。

示例输入2

7 7 5

示例输出2

NO