### 问题描述 小蓝有一个想法，给定两个字符串 $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 ```