Iroha loves Haiku. Haiku is genre < /a>traditional Japanese lyrical poetry waka, known since 14th century. A haiku consists of three phrases with 5, 7 and 5 syllables, in that order ( 5-7-5 scheme). code>). To create Haiku, Iroha came up with three different phrases. These phrases have a, b and с syllables, respectively. Determine if Iroha can build a Haiku by using each of the phrases once in a certain order.
Input
The input is three natural numbers
a,
b and
с (
\(1 < ;= a, b, c <= 10\)) .
Imprint
If it is possible to construct a Haiku using each of the phrases once, print
YES (case sensitive). Otherwise, print
NO.
Examples
| # |
Input |
Output |
| 1 |
5 5 7 |
YES |
| 2 |
5 7 7 |
NO |