### 问题描述 小桥是一名喜欢研究文学的学生，最近她在研究一种名为“诗歌双联”的文学形式，它可以将两个诗句拼接在一起，形成新的诗句。为了更好地研究这种文学形式，小桥准备了两个字符串 $s$ 和 $t$。 她发现，如果从字符串 $s$ 中选出两个长度为 $k$ 的不相交子串，并将它们拼接在一起，可能会形成一个包含 $t$ 的字符串。为了验证这个想法，她想设计一种算法来检验是否可以这样做。 ### 输入格式 第一行包含三个整数 $n, m, k$ $(2 \leq m \leq 2\cdot k \leq n \leq 10^4)$，表示字符串 $s$ 和字符串 $t$ 的长度，以及可选子串的长度。 接下来两行是由小写字母组成的字符串 $s$ 和 $t$。 ### 输出格式 如果可以选出的两个子串，使得拼接后得到的字符串包含 $t$，则输出 "YES"，否则输出 "NO"。 ### 样例输入 ``` 7 4 3 baabaab aaaa ``` ### 样例输出 ``` YES ```