HugeGun学姐的方程

题目描述

HugeGun学姐又上完了西点课，给她的男神带了她做的巨难吃的三明治。

男神非常生气，扔给了她一个方程：$\frac{e^{(-\sqrt{\frac{x}{10}})}}{ln{\frac{x}{10}}}=y$

睿智的HugeGun学姐算不出来它的解，只好像你寻求帮助。

保证答案在区间$(10,30)$内且等式左边函数在此区间上单调递减

输入

一行一个小数$y (0.25 \leq y \leq 5)$

输出

一行一个五位小数$x_0$表示$\frac{e^{-\sqrt{\frac{x}{10}}}}{ln{\frac{x}{10}}}=y$的解。

输入样例

1.2500000000

输出样例

12.92586