B. 赛羊

又到了一年一度的美酒节，山羊大赛一向是美酒节的亮点，冒险者们带着他们从世界各地找来的山羊一起来参加山羊大赛。他们各自骑上自己的山羊比赛驾驭技术，最先到达终点的选手可以获得一笔数额不菲的奖金。 

比赛的规则是这样的：

1. 参赛的山羊有以下特征

    a) 山羊都会疲劳的，它的疲劳度上限为P。

    b) 山羊只能有三种行进方式。

        i. 慢速奔跑，每秒行进 1 码，每秒疲劳度减少 1； 

        ii. 中速奔跑，每秒行进 5 码，每秒疲劳度增加 2； 

        iii. 快速奔跑，每秒行进 10 码，每秒疲劳度增加 5。 

2. 所有选手骑着各自的山羊，同时从起点出发，出发时疲劳度为 0。 

3. 如果某一时刻山羊的疲劳度达到了上限，山羊就会进入一个精疲力竭的状态，必须持续至少 10 秒的慢速奔跑。 

4. 赛道的长度为S码，首先到达终点的选手为获胜者。

你的任务是，对于给定了疲劳上限P的一只山羊，请你计算它最少能在多少秒的时间内到达终点。

输入数据为一行，两个整数S、P，具体含义见题面。

输出数据为一行一个整数T，表示给定了疲劳上限的这只山羊到达终点所用的最少的时间。 

数据规模

对于30%的数据：S\leq 100；

对于50%的数据：S\leq 300,000；

对于100%的数据：S\leq 25,000,000, P\leq 100