编程题
### 问题描述
现有两个字符串 $s$ 和 $t$。如果从字符串 $s$ 中选出两个长度为 $k$ 的不相交子串,并将它们拼接在一起,可能会形成一个包含 $t$ 的字符串。
请你根据输入值判断是否能得到字符串 $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
```