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$。