seuOJ446 - 买手机

• 题目类型：传统
• 输入文件：标准输入流
• 输出文件：标准输出流
• 时间限制：1000 ms
• 空间限制：256 MiB
• 题目标签：短码, 初赛, 2023

题目描述

7 老师想要买一台新手机。他看中了一款菠萝手机 $\texttt{iPineapple}$，并且得知 $\texttt{iPineapple}$ 的价格为 $x$ 元。

善良的营业员告诉 7 老师，$\texttt{iPineapple}$ 手机不仅有基础款，还有 $\texttt{iPineapple Pro}$、$\texttt{iPineapple Pro Max}$、$\texttt{iPineapple Max Pro}$ 等等众多型号可以选择。

7 老师得知，$\texttt{iPineapple}$ 手机的定价策略如下：对于任意一款手机型号 $\texttt{(Model)}$，若其价格为 $t$ 元，那么型号 $\texttt{(Model) Pro}$ 的价格为 $t+1000$ 元，而 $\texttt{(Model) Max}$ 的价格为 $t\times 2$ 元。例如，$\texttt{iPineapple Pro}$ 的价格为 $x+1000$ 元，$\texttt{iPineapple Pro Max}$ 的价格为 $(x+1000)\times 2$ 元，$\texttt{iPineapple Max Pro}$ 的价格为 $x\times 2+1000$ 元。

菠萝手机店里有无数款手机，对于任意一款可被构造出的手机型号，在手机店里都能买到。

7 老师的口袋里只有 $y$ 元。由于 7 老师的生活品质很高，他希望用不超过 $y$ 元买一台最贵的手机。请你告诉 7 老师，最贵的手机价格为多少。

输入格式

一行两个正整数 $x,y(1\le x\le y\le 10^6)$，表示 $\texttt{iPineapple}$ 的价格和 7 老师口袋里的钱。

输出格式

输出一个非负整数，表示 7 老师能买得起的最贵的手机价格。

样例

输入样例 1：

10 2023

输出样例 1：

2020