L. 桥梁翻新
每次测试的时间限制：2 秒
每次测试的内存限制：512 兆字节

最近，$Monocarp$ 开始担任他家附近一个公园的经理。公园很大，甚至有一条小河将它分成几个区域。河上建了几座桥。其中三座桥特别老旧，需要修缮。

这三座桥长度相同，但宽度不同。它们的宽度分别为 $18$、$21$ 和 $25$ 个单位。

在公园翻新过程中，$Monocarp$ 必须用新的木板替换作为桥面的旧木板。

木板的标准长度为 $60$ 个单位。Monocarp 已经知道每座桥需要 $n$ 块木板。但由于桥的宽度不同，第一座桥需要 $n$ 块长度为 $18$ 的木板，第二座桥需要 $n$ 块长度为 $21$ 的木板，第三座桥需要 $n$ 块长度为 $25$ 的木板。

负责翻新的工人可以切割木板，但拒绝拼接木板，因为拼接会产生薄弱点且不美观。

$Monocarp$ 想买尽可能少的木板，但他很难算出所需的数量。你能帮他吗？

输入
第一行且唯一一行包含一个整数 $n$（$1 \le n \le 1000$）—— 每座桥所需的木板数量。

输出
打印一个整数 —— 如果木板可以切割，Monocarp 覆盖所有三座桥所需的标准长度（$60$ 单位）木板的最少数量。

示例

示例 1
输入

1

输出

2

示例 2
输入

3

输出

4

示例 3
输入

1000

输出

1167

注释
在第一个示例中，可以将一块长度为 $60$ 的木板切割成 $25$、$18$ 和 $17$ 三段，并将另一块长度为 $60$ 的木板切割成 $39$ 和 $21$ 两段。这样，$Monocarp$ 就能得到所有需要的木板。