题目描述

在日本有一种优美的“五七五”韵律形式。

当三个音节的排列长度依次分别为5、7、5时，就称这三个音节的排列是“五七五”。

给定表示想要重新排列的三个音节长度的整数A、B、C，请判断能否将这些音节重新排列成“五七五”的形式。

输入格式

输入通过标准输入以下列形式给出。

A B C

输出格式

如果能够将音节排列成“五七五”，则输出“YES”，否则输出“NO”。

5 5 7

YES

7 7 5

NO

提示

约束条件

• 1 ≤ A, B, C ≤ 10

示例解释1

给定的音节长度分别为5、5、7，可以将音节重新排列为5、7、5。因此，可以说能够将音节排列成“五七五”的形式。