A - Maxi-Buying Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MB

配点 : 100

問題文

ABC 国の消費税率は 8 パーセントです。
ABC 国にはエナジードリンク屋さんがあります。ここでは、エナジードリンク 1 本を、税抜き N 円で販売しています。
ここに消費税を加算した後の金額は \lfloor 1.08 \times N \rfloor 円となります。ただし、実数 x に対し、\lfloor x \rfloorx 以下の最大の整数を表します。
この金額が定価の 206 円より安いなら Yay! 、定価と等しいなら so-so 、定価より高いなら :( と出力して下さい。

制約

  • 1 \le N \le 300
  • N は整数

入力

入力は以下の形式で標準入力から与えられる。

N

出力

答えを出力せよ。


入力例 1

180

出力例 1

Yay!

N=180 であるとき、税込価格は \lfloor 180 \times 1.08 \rfloor = 194 円ですが、この金額は定価の 206 円より安いです。


入力例 2

200

出力例 2

:(

入力例 3

191

出力例 3

so-so

この場合、税込価格がちょうど定価の 206 円と一致します。

Score : 100 points

Problem Statement

The consumption tax rate in the Republic of AtCoder is 8 percent.
An energy drink shop in this country sells one can of energy drink for N yen (Japanese currency) without tax.
Including tax, it will be \lfloor 1.08 \times N \rfloor yen, where \lfloor x \rfloor denotes the greatest integer not exceeding x for a real number x.
If this tax-included price is lower than the list price of 206 yen, print Yay!; if it is equal to the list price, print so-so; if it is higher than the list price, print :(.

Constraints

  • 1 \le N \le 300
  • N is an integer.

Input

Input is given from Standard Input in the following format:

N

Output

Print the answer.


Sample Input 1

180

Sample Output 1

Yay!

For N=180, the tax-included price is \lfloor 180 \times 1.08 \rfloor = 194 yen, which is lower than the list price of 206 yen.


Sample Input 2

200

Sample Output 2

:(

Sample Input 3

191

Sample Output 3

so-so

In this case, the tax-included price is exactly equal to the list price of 206 yen.