### 问题描述 在古代的文人墨客中，有一种名为“诗歌双联”的创作形式，它将两个诗句拼接在一起，构成具有深意的诗歌。现在，一位名为小桥的学者正在探索这种神秘的创作形式。她发现，通过选取两个不相交的子句，并将它们拼接在一起，有时可以创作出包含特定主题的诗歌。 小桥希望你能帮助她设计一个算法，验证她的想法。给定两个字符串 $s$ 和 $t$ ，你需要判断是否可以从字符串 $s$ 中选出两个长度为 $k$ 的不相交子字符串，拼接后得到的字符串包含字符串 $t$。 ### 输入格式 第一行包含三个整数 $n, m, k$ $(2 \leq m \leq 2\cdot k \leq n \leq 10^2)$，分别代表字符串 $s$ 和字符串 $t$ 的长度，以及可选子字符串的长度。 接下来两行分别给出由小写字母组成的字符串 $s$ 和 $t$。 ### 输出格式 如果存在这样的两个子字符串，使得拼接后得到的字符串包含字符串 $t$，则输出 "YES"，否则输出 "NO"。 ### 样例输入 ``` 7 4 3 baabaab aaaa ``` ### 样例输出 ``` YES ```