AT_abc403_b.[ABC403B] Four Hidden

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

字符串 $T$ 是通过将某个仅由小写字母组成的字符串 $S$ 中的恰好 $4$ 个字符替换为 ? 而得到的。

请判断是否存在这样的 $S$，使得 $S$ 包含 $U$ 作为连续子字符串。

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

$T$
$U$

如果存在可能的 $S$ 包含 $U$ 作为连续子字符串，则输出 Yes；否则输出 No。

约束条件

• $T$ 是长度为 $4$ 到 $10$ 的由小写字母和 ? 组成的字符串
• $T$ 中恰好包含 $4$ 个 ?
• $U$ 是长度为 $1$ 到 $|T|$ 的仅由小写字母组成的字符串

样例解释 #1

例如，当 $S$ 为 takanashi 时，它包含 nashi 作为连续子字符串。

样例解释 #2

无论 ? 被替换为何种字符，$S$ 都不可能包含 snuke 作为连续子字符串。

翻译由 DeepSeek V3 完成