{"raw_statement":[{"iden":"problem statement","content":"E869120's and square1001's $16$\\-th birthday is coming soon.  \nTakahashi from AtCoder Kingdom gave them a round cake cut into $16$ equal fan-shaped pieces.\nE869120 and square1001 were just about to eat $A$ and $B$ of those pieces, respectively,  \nwhen they found a note attached to the cake saying that \"the same person should not take two adjacent pieces of cake\".\nCan both of them obey the instruction in the note and take desired numbers of pieces of cake?"},{"iden":"constraints","content":"*   $A$ and $B$ are integers between $1$ and $16$ (inclusive).\n*   $A+B$ is at most $16$."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$A$ $B$"},{"iden":"sample input 1","content":"5 4"},{"iden":"sample output 1","content":"Yay!\n\nBoth of them can take desired number of pieces as follows: ![image](https://img.atcoder.jp/abc100/e87fa456a900ac9ae36671ae8bd5eeea.png)"},{"iden":"sample input 2","content":"8 8"},{"iden":"sample output 2","content":"Yay!\n\nBoth of them can take desired number of pieces as follows: ![image](https://img.atcoder.jp/abc100/a7989ac033e6ba86e14078864c20d9c5.png)"},{"iden":"sample input 3","content":"11 4"},{"iden":"sample output 3","content":":(\n\nIn this case, there is no way for them to take desired number of pieces, unfortunately."}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}