配点: $200$ 点

問題文

高橋君は ABC 洋菓子店でアップルパイをひとつ買い、そのとき $N$ 円を支払ったことを覚えています。

この店で食料品を購入する際には $8$ パーセントの消費税が課されます。すなわち、税抜価格 $X$ 円のアップルパイを買う際には $X \times 1.08$ 円 (小数点以下切り捨て) を支払わなければなりません。

高橋君はアップルパイの税抜価格 $X$ を忘れてしまい、これを知りたくなりました。$N$ を入力として $X$ を求めるプログラムを書いてください。なお、$X$ は整数とします。

ただし、考えられる税抜価格が複数存在する場合はそのうちのいずれか $1$ つを求めてください。また、高橋君が支払った金額 $N$ を覚え間違えている可能性もあるので、アップルパイの税抜価格として考えられるものが存在しない場合はその旨を報告してください。

制約

• $1 \leq N \leq 50000$
• $N$ は整数

入力

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

$N$

出力

アップルパイの税抜価格 $X$ として考えられるものが存在する場合は、そのような整数 $X$ の値を $1$ つ出力してください。 そのような値が複数存在する場合は、そのうちのどれを出力しても構いません。 アップルパイの税抜価格として考えられるものが存在しない場合は、:( と出力してください。

432

400

アップルパイの税抜価格が $400$ 円のとき、これを買うために支払うべき金額は $400 \times 1.08 = 432$ 円です。 税抜価格がそれ以外のとき、支払うべき金額は $432$ 円となりません。

1079

:(

支払うべき金額が $1079$ 円となるような税抜価格は存在しません。

1001

927

アップルパイの税抜価格が $927$ 円のとき、これを買うために支払うべき金額は $927 \times 1.08 = 1001.16$ の小数点以下を切り捨てた $1001$ 円です。