AT_sumitb2019_b Tax Rate

[problemUrl]: https://atcoder.jp/contests/sumitrust2019/tasks/sumitb2019_b 高橋君は ABC 洋菓子店でアップルパイをひとつ買い、そのとき $ N $ 円を支払ったことを覚えています。 この店で食料品を購入する際には $ 8 $ パーセントの消費税が課されます。すなわち、税抜価格 $ X $ 円のアップルパイを買う際には $ X\ \times\ 1.08 $ 円 (小数点以下切り捨て) を支払わなければなりません。 高橋君はアップルパイの税抜価格 $ X $ を忘れてしまい、これを知りたくなりました。$ N $ を入力として $ X $ を求めるプログラムを書いてください。なお、$ X $ は整数とします。 ただし、考えられる税抜価格が複数存在する場合はそのうちのいずれか $ 1 $ つを求めてください。また、高橋君が支払った金額 $ N $ を覚え間違えている可能性もあるので、アップルパイの税抜価格として考えられるものが存在しない場合はその旨を報告してください。

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

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

### 制約 - $ 1\ \leq\ N\ \leq\ 50000 $ - $ N $ は整数 ### Sample Explanation 1 アップルパイの税抜価格が $ 400 $ 円のとき、これを買うために支払うべき金額は $ 400\ \times\ 1.08\ =\ 432 $ 円です。 税抜価格がそれ以外のとき、支払うべき金額は $ 432 $ 円となりません。 ### Sample Explanation 2 支払うべき金額が $ 1079 $ 円となるような税抜価格は存在しません。 ### Sample Explanation 3 アップルパイの税抜価格が $ 927 $ 円のとき、これを買うために支払うべき金額は $ 927\ \times\ 1.08\ =\ 1001.16 $ の小数点以下を切り捨てた $ 1001 $ 円です。