AT_abc100_a.[ABC100A] Happy Birthday!

E869120 和 square1001 的 $16$ 周岁生日即将到来。

AtCoder 王国的 Takahashi 给了他们一个圆形的，被分成十六等分的蛋糕。

E869120 和 square1001 分别想要吃 $A$ 和 $B$ 块蛋糕，然而他们在蛋糕上发现了一张纸条，上面写着“一个人不能吃相邻的两块蛋糕”。

他们能够按照要求都吃到自己想要的蛋糕块数吗？

输入的格式如下：

$A\quad B$

如果 E869120 和 square1001 都能够按照要求都吃到自己想要的蛋糕块数，输出 Yay!，否则输出 :(。

样例解释

样例解释 $1$：

他们可以这样吃蛋糕：

样例解释 $2$：

他们可以这样吃蛋糕：

样例解释 $3$：

很不幸，他们不可以同时满足要求。

数据范围

$A,B$ 都是 $[1,16]$ 之内的整数，且满足 $A+B \le 16$。