比太郎有 张扑克牌，编号为 到 。每张扑克牌都有一个正整数，扑克牌 上的正整数为 。
将满足以下条件的包含 张扑克牌的牌组称为“顺子”：
判断比太郎是否能从 张扑克牌中选出 张，使这 张牌组成的牌组为一个顺子。
第一行输入两个整数 。
第二行输入 个整数 。
输出一行一个字符串，如果可以组成一个顺子输出 Yes，否则输出 No。
Yes
No
5 2 1 1 2 4 3
7 4 1 1 2 3 3 5 6
可以选择 张扑克牌 ，牌上的正整数分别为 ，组成了一个顺子。
该样例满足所有子任务的限制。
没法选出 张扑克牌使其组成一个顺子。
该样例满足子任务 的限制。
