老K-pop人了

时间限制：1s

空间限制：256MB

Description

宇宙超级男团BTS发了新专，小妍售发当日便去购买专辑，专辑有两种版本，假设分别包含四张小卡和七张小卡，每个版本的专辑中小卡不能拆开卖 小妍只能通过这两种版本进行组合，想要购买到特定数量的小卡，当然有些小卡的数字是凑不出来的，比如10

小妍有金钱无数，因此可以略认为可以购买无限数量的专辑，她想知道，已知两种专辑包含的小卡数量时，最大不能组合出来的小卡数量

Input Format

两个正整数n,m,表示每种专辑中小卡的数量

Output Format

输出一个正整数，表示最大不能组合出来的小卡数量

Data Range

• $2\leq  n \leq 1000$
• 保证数据一定有解

Input Example #1：

4 7

Output Example #1：

17

Note

BTS——forever