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

题目描述

现有 $7$ 张卡牌，第 $i$ 张卡牌 $(i=1,\ldots,7)$ 上写有整数 $A_i$。
请判断能否从这些卡牌中选出 $5$ 张组成一个 满堂彩。

当且仅当满足以下条件时，这 $5$ 张卡牌被称为 满堂彩：

• 存在两个不同的整数 $x$ 和 $y$，使得选出的卡牌中包含 $3$ 张写有 $x$ 的卡牌和 $2$ 张写有 $y$ 的卡牌。

输入格式

输入通过标准输入给出，格式如下：

$A_1$ $A_2$ $A_3$ $A_4$ $A_5$ $A_6$ $A_7$

输出格式

若能选出 $5$ 张卡牌组成 Full House，则输出 Yes；否则输出 No。

样例

1 4 1 4 2 1 3

Yes

样例解释 1

例如，选择卡牌 $(1,1,1,4,4)$ 即可组成 满堂彩。

11 12 13 10 13 12 11

No

样例解释 2

无论从 $7$ 张卡牌中如何选择 $5$ 张，都无法组成 满堂彩。

7 7 7 7 7 7 7

No

样例解释 3

注意：仅包含 $5$ 张相同数字的卡牌组不构成 满堂彩。

数据规模与约定

• $A_i$ 是 $1$ 以上 $13$ 以下的整数