题目描述

Kitten 是猫猫国的一只小猫咪，今年已经 $n$ 个月大了。33DAI 本来答应在他 $m$ 个月大的时候给他买一个猫罐头。但是最近 33DAI 手头比较拮据，于是制定了新规则，每过 $4$ 个月，就延迟 $1$ 个月给罐头的时间，但如果这个时间已经延迟到了 $756$ 个月就不会继续延迟了。求 Kitten 最后会在几个月大时吃到罐头。

简化题意：输入 $n,m$，求一个 $x$ 使得 $n+x = \min(756,m+\lfloor\frac{x}{4}\rfloor)$，输出 $n+x$ 的值。

输入格式

两个整数 $n,m$。

输出格式

一个整数，即 Kitten 最后会在几个月大时吃到罐头。也即简化题意中的 $n+x$。

5 6

6

$5+1 = \min(756,6+\lfloor\frac{1}{4}\rfloor)$

5 9

10

$5+5 = \min(756,9+\lfloor\frac{5}{4}\rfloor)$

748 755

756

$748+8 = \min(756,755+\lfloor\frac{8}{4}\rfloor)$

20 23

23

• $20+3 = \min(756,23+\lfloor\frac{3}{4}\rfloor)$
• $20+4 = \min(756,23+\lfloor\frac{4}{4}\rfloor)$

输出 $24$ 也算对，或者说只要能让简化题意的表达式成立，都能得到 AC。

数据规模与约定

对于 $100\%$ 的数据，$1 \le n\lt m \le 756$。

• 子任务 1（10 分）：保证 $m=756$
• 子任务 2（20 分）：保证 $m-n\lt 4$
• 子任务 3（30 分）：保证 $m=720$
• 子任务 4（40 分）：没有特殊限制