AT_sumitb2019_b.Tax Rate

高桥君记得他在 ABC 洋果子店买了一个苹果派，并支付了 $N$ 日元。

在这家店购买食品时，需要支付 $8$% 的消费税。也就是说，购买税前价格为 $X$ 日元的苹果派时，需要支付 $X \times 1.08$ 日元（小数点以下舍去）。

高桥君忘记了苹果派的税前价格 $X$，现在他想知道这个价格。请编写一个程序，根据输入的 $N$，求出可能的税前价格 $X$。其中，$X$ 必须是整数。

如果存在多个可能的税前价格，只需输出其中任意一个。如果不存在符合条件的税前价格，则输出 :(。

输入为一行，包含一个整数 $N$。

如果存在可能的苹果派税前价格 $X$，输出其中任意一个整数 $X$。
如果不存在符合条件的税前价格，则输出 :(。

限制条件

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

样例解释 1

当苹果派的税前价格为 $400$ 日元时，需要支付的金额为 $400 \times 1.08 = 432$ 日元。除此之外，没有其他税前价格会使支付金额为 $432$ 日元。

样例解释 2

不存在使支付金额为 $1079$ 日元的税前价格。

样例解释 3

当苹果派的税前价格为 $927$ 日元时，需要支付的金额为 $927 \times 1.08 = 1001.16$，小数点以下舍去后为 $1001$ 日元。

由 ChatGPT 4.1 翻译