题目描述

某学校正在进行长跑比赛！

跑道为长 $400$ 米的环形跑道，每 $50$ 米处有一个饮水点（共 $8$ 个饮水点）。江桥 作为班里公认的“长（yun）跑（dao）大王”，来参加这次长跑比赛。

比赛内容为从起点（第 $1$ 个饮水点）出发，沿着环形跑道跑 $5000$ 米，江桥有一个初始体力值 $x$，每跑 $1$ 米，江桥的体力值就会下降 $1$ 点，当体力值降到 $0$ 以下（不包括 $0$）时，江桥就会晕倒在跑道上。同时为了节省时间，江桥会尽量少喝水，因此他制定了以下策略：

如果他当前跑到了一个饮水点处，且剩余体力值已经不足以支撑他到达下一个饮水点，那么他就会立刻停下来饮水，饮水后体力值会迅速恢复至 $x$。

现在他想请你帮忙计算一下，在不晕倒的情况下，整个比赛过程中他总共会喝多少次水。

如果江桥必定会晕倒，输出 man!。

注意，江桥到达终点时，比赛立即结束。

输入格式

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

输出格式

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

1049

4

40

man!

样例解释

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

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

数据规模与约定

下发文件

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

有合理的子任务依赖。

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