题目描述

我们将由大写和小写英文字母组成的字符串称为奇妙字符串，如果满足以下所有条件：

• 字符串中包含大写英文字母。
• 字符串中包含小写英文字母。
• 字符串中的所有字符两两不同。

例如，AtCoder 和 Aa 是奇妙字符串，而 atcoder 和 Perfect 不是。

给定一个字符串 $S$，判断 $S$ 是否是一个奇妙字符串。

约束条件

• $1 \le |S| \le 100$
• $S$ 是一个由大写和小写英文字母组成的字符串。

输入

输入数据从标准输入获得，格式如下：

$S$

输出

如果 $S$ 是一个奇妙字符串，打印 Yes；否则，打印 No。

示例输入 1

AtCoder

示例输出 1

Yes

AtCoder 是一个奇妙字符串，因为它包含一个大写英文字母、一个小写英文字母，并且字符串中的所有字符都两两不同。

示例输入 2

Aa

示例输出 2

Yes

请注意，A 和 a 是不同的字符。这个字符串是一个奇妙字符串。

示例输入 3

atcoder

示例输出 3

No

这不是一个奇妙字符串，因为它不包含大写英文字母。

示例输入 4

Perfect

示例输出 4

No

这不是一个奇妙字符串，因为第 2 个字符和第 5 个字符相同。