AT_abc403_b [ABC403B] Four Hidden

[problemUrl]: https://atcoder.jp/contests/abc403/tasks/abc403_b 给定一个由小写字母和 `?` 组成的字符串 $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 完成