极限补给

题目描述

伞伞是班里公认的"长跑小超人"，这次他参加了学校举办的环形长跑比赛！ 跑道一圈 400 米，每隔 50 米 就有一个饮水点（总共 8 个），起点就在第 1 个饮水点。比赛全程 5000 米，伞伞从起点出发，沿着跑道一直跑。

伞伞的初始体力值是 $x$，每跑 1 米，体力值就会下降 1 点。如果体力值掉到 0 以下（也就是变成负数），他就会当场累趴下，比赛就结束啦！

为了不让自己累趴，伞伞制定了一个聪明的喝水策略：

每当他跑到一个饮水点时，如果剩下的体力已经不够他跑到下一个饮水点，他就会立刻停下来喝口水。喝完水，体力值瞬间满血复活，变回初始的 $x$！

现在，请你帮伞伞算一算：在顺利跑完 5000 米 的情况下，他总共要喝多少次水？ 如果无论如何都会累趴（也就是还没跑完就体力不支），请输出 man!。

注意：伞伞到达终点的那一刻，比赛立刻结束，不需要再考虑喝水。

输入格式

一行，输入一个正整数 $x$，表示伞伞的初始体力值。

输出格式

一行一个非负整数，表示伞伞在比赛的过程中总共喝了多少次水。如果伞伞必定会累趴，输出 man!。

样例

1049

4

40

man!

样例解释

在第一组测试样例中，伞伞饮水的位置为跑了 $1000,2000,3000,4000$ 米处，共 $4$ 次。

在第二组测试样例中，显然伞伞无论怎么努力都没法完成长跑。

数据规模与约定

下发文件

下发文件对应子任务 $2,3$。

对于 $100\%$ 的数据：保证 $1 \leq x < 10^9$。