题目描述

有一场考试包含三道题目，分值分别为1分、2分和4分。小高得了$A$分，小李得了$B$分。小明解决了小高和小李至少其中一人解决的所有题目，而没有解决两人都没解决的任何题目。请计算小明的得分。根据本题的约束条件，可以证明小明的得分是唯一确定的。

输入格式

输入整数$A$和$B$。

输出格式

输出所求答案。

样例

1 2

3

5 3

7

0 0

0

样例解释

【样例1说明】
由于小高得了1分，我们可以看出他只解决了1分的题目，而没有解决其他两道题。
同样，由于小李得了2分，我们可以看出他只解决了2分的题目，而没有解决其他两道题。

因此，小明必须解决了1分和2分的题目，但没有解决4分的题目（小高和小李都没有解决），所以得分为3分。因此，应该输出3。

【样例2说明】
由于小高得了5分，我们可以看出他解决了1分和4分的题目，但没有解决2分的题目。
同样，由于小李得了3分，我们可以看出他解决了1分和2分的题目，但没有解决4分的题目。

因此，三道题目中的每一道都至少被小高和小李中的一人解决了，所以我们可以看出小明解决了所有的题目，得分为7分。因此，应该输出7。

【样例3说明】
小高和小李都没有解决任何题目。因此，小明也没有解决任何题目。所以应该输出0。

数据范围

• $0 ≤ A,B ≤ 7$
• $A$ 和 $B$ 是整数。

来源

• AtCoder ABC270A