题目描述

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

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

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

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

输入格式

输入的格式如下：

$A\quad B$

输出格式

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

输入输出样例 #1

输入 #1

5 4

输出 #1

Yay!

输入输出样例 #2

输入 #2

8 8

输出 #2

Yay!

输入输出样例 #3

输入 #3

11 4

输出 #3

:(

说明/提示

样例解释

样例解释 $1$：

他们可以这样吃蛋糕：

样例解释 $2$：

他们可以这样吃蛋糕：

样例解释 $3$：

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

数据范围

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