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 翻译