题目描述

给定一个字符串 $T$，由小写英文字母和字符 ? 组成；以及一个字符串 $U$，仅由小写英文字母组成。

字符串 $T$ 是由某个仅包含小写字母的原始字符串 $S$ 经过如下操作得到的：

• 将 $S$ 中 恰好四个字符替换为 ?

请你判断：是否存在一种方式，将 $T$ 中的 ? 替换为小写字母，使得还原出的字符串 $S$ 包含字符串 $U$ 作为一个连续子串。

输入格式

输入共两行：

• 第一行一个字符串 $T$
• 第二行一个字符串 $U$

输出格式

输出一行：

• 如果存在这样的字符串 $S$，输出 Yes
• 否则输出 No

输入输出样例

输入 #1

tak??a?h?
nashi

输出 #1

Yes

输入 #2

??e??e
snuke

输出 #2

No

输入 #3

????
aoki

输出 #3

Yes

说明

样例解释 1

例如当 $S = \texttt{takanashi}$ 时，字符串中包含连续子串 $\texttt{nashi}$，因此答案为 Yes。

数据范围

• $4 \le |T| \le 10$
• $T$ 中恰好包含 4 个 ?
• $1 \le |U| \le |T|$
• $T$ 由小写字母和 ? 构成
• $U$ 仅由小写字母构成