Problem6113--2021年海淀区信息学奥赛入门组 T2

6113: 2021年海淀区信息学奥赛入门组 T2

[Creator : ]
Time Limit : 1.000 sec  Memory Limit : 256 MiB

Description

在公园中,经常会见到一些做引体向上的老爷爷。他们身手了解!一个一个的连着做,这让小明同学非常羡慕。所以他立志要锻炼身体。
小明的目标是一共做 $n$ 个引体向上,但是一开始他每天只能做 $m$ 个引体向上。但是根据他锻炼的强度,每 $7$ 天,他可以在原来每天做的数量的基础上多做 $1$ 个引体向上。
如果一开始他可以做 $1$ 个引体向上每天的话,我们可以列出小明前 $10$ 天的引体向上数量分别是:$1\ 1\ 1\ 1\ 1\ 1\ 1\ 2\ 2\ 2$。这样他前 $10$ 天一共做了 $13$ 个引体向上。

Input

包含两个整数。第一个整数是小明的目标 $n\ (0 < n < 1018)$,第二个整数为初始状态时小明做引体向上的基础数量 $m\ (0 < m < 1018)$。

Output

输出只有一个整数,表示小明在第几天结束时可以完成全部的任务。

Sample 1 Input

12 1

Sample 1 Output

10

Source/Category