问题描述

光头强喜欢俳句。光头强是诗歌的一种简短形式。俳句由三个短语组成，依次为 5、7 和 5 个音节。

为了创作俳句，光头强想出了三个不同的短语。这些短语分别有 $A$、$B$ 和 $C$ 音节。确定她是否能按照一定顺序使用每个短语一次来构建一首俳句。

数据规模

$1≤A,B,C≤10$

输入

输入来自标准输入，格式如下：

$A\ B\ C$

输出

如果可以通过使用每个短语一次来构建俳句，请打印 YES。否则，打印 NO。

5 5 7

YES

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

7 7 5

NO