{"raw_statement":[{"iden":"problem statement","content":"Iroha loves _Haiku_. Haiku is a short form of Japanese poetry. A Haiku consists of three phrases with $5$, $7$ and $5$ syllables, in this order.\nTo create a Haiku, Iroha has come up with three different phrases. These phrases have $A$, $B$ and $C$ syllables, respectively. Determine whether she can construct a Haiku by using each of the phrases once, in some order."},{"iden":"constraints","content":"*   $1≦A,B,C≦10$"},{"iden":"input","content":"The input is given from Standard Input in the following format:\n\n$A$ $B$ $C$"},{"iden":"sample input 1","content":"5 5 7"},{"iden":"sample output 1","content":"YES\n\nUsing three phrases of length $5$, $5$ and $7$, it is possible to construct a Haiku."},{"iden":"sample input 2","content":"7 7 5"},{"iden":"sample output 2","content":"NO"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}