该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

某游戏平台的论坛正在招收两名高手玩家作为作者，来为其他玩家编写一篇游戏攻略。所招收的两名作者需要满足以下所有要求：

• 至少有一人在游戏内获得了“达人”称号；
• 两人的游戏等级均 $≥3$ 级。

“达人”称号的获取方式有两种：一种是游戏等级 $≥8$ 级，另一种是游戏等级 $≥6$ 级的同时战胜了最终BOSS。

现在有一名玩家想要申请成为其中的一名作者，他想再寻求一位战胜了最终BOSS的玩家与他一起成为攻略作者。请问：另一名作者的游戏等级至少需要达到几级，这两人才能满足招收要求？

输入格式

第一行：输入一个整数 $a$，表示申请者的游戏等级。

第二行：输入一个整数 $b$，表示申请者是否战胜了最终BOSS。$b=1$ 表示战胜，$b=0$ 表示未战胜。

输出格式

如果另一名作者的游戏等级至少达到 $k$ 级，两人就可以满足招收要求，则输出 $k$；

若无论如何两人都无法满足招收要求，则输出 $-1$。

样例

8
0

3

5
1

6

2
1

-1

样例 $1$ 解释

第一名玩家的游戏等级是 $8$ 级，虽然没有战胜最终BOSS，但仍然获得了“达人”称号。因此另一名玩家只需保证游戏等级达到 $3$ 级即可。

样例 $2$ 解释

第一名玩家的游戏等级是 $5$ 级，尽管战胜了最终BOSS，但并没有获得“达人”称号。因此需要确保另一名玩家符合第一条要求，由于已知另一名玩家战胜了最终BOSS，因此只需达到 $6$ 级，就可以获得“达人”称号，从而满足招收要求。

样例 $3$ 解释

第一名玩家的游戏等级是 $2$ 级，不符合招收要求的任何一条，无论再寻找一名什么样的玩家，两人都不可能达成招收要求，因此输出 $-1$。

数据规模与约束

对于全部测试点，保证 $1≤a≤10$，$b=0$ 或 $b=1$。