该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

AT_abc100_a [ABC100A] Happy Birthday!

题目描述

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

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

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

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

输入格式

输入的格式如下：

$A\quad B$

输出格式

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

样例 1

输入

5 4

输出

Yay!

样例 2

输入

8 8

输出

Yay!

样例 3

输入

11 4

输出

:(

说明/提示

样例解释

样例解释 $1$：

他们可以这样吃蛋糕：

样例解释 $2$：

他们可以这样吃蛋糕：

样例解释 $3$：

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

数据范围

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