题目描述

你有七张卡牌，第 $i$ 张卡牌上写着一个整数 $A_{i}$，即你有一组数据 $A_{1}, A_{2}, A_{3}, A_{4}, A_{5}, A_{6}, A_{7}$。

请你判断能否从这七张卡牌中选出 五张，使得它们可以组成一个 满堂红。

五张牌组成满堂红的充要条件如下：

• 存在两个 不同的整数 $x$ 和 $y$，满足：
  • 有 三张牌 的点数是 $x$；
  • 有 两张牌 的点数是 $y$。

输入格式

输入仅一行，包括 $7$ 个整数：$A_{1}, A_{2}, A_{3}, A_{4}, A_{5}, A_{6}, A_{7}$。

输出格式

如果存在一种选法，可以组成满堂红，请输出 Yes；

否则输出 No。

样例输入1

1 4 1 4 2 1 3

样例输出1

Yes

样例输入2

7 7 7 7 7 7 7

样例输出2

No

说明

样例一解释：

• 例如，可以选择卡牌 $(1, 1, 1, 4, 4)$ 组成一个满堂红。

数据范围

• $1\le A_{i}\le 13$