Ghép xâu con

Cho hai xâu $s$ và $t$ chỉ gồm các chữ cái latin thường, độ dài lần lượt là $n$ và $m$.

Ta chọn ra một số xâu con liên tiếp của $s$ sao cho chúng đôi một không giao nhau, rồi ghép chúng lại theo đúng thứ tự xuất hiện từ trái sang phải trong $s$. Gọi $f(s,t)$ là số xâu con ít nhất cần chọn để xâu ghép được bằng đúng $t$; nếu không tồn tại cách chọn nào thì $f(s,t)=\infty$.

Cho trước số nguyên $x$, hãy xác định xem $f(s,t)\le x$ hay không.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ là độ dài xâu $s$.
• Dòng thứ hai chứa xâu $s$.
• Dòng thứ ba chứa số nguyên $m$ là độ dài xâu $t$.
• Dòng thứ tư chứa xâu $t$.
• Dòng thứ năm chứa số nguyên $x$.

Dữ liệu ra

In ra YES nếu $f(s,t)\le x$, ngược lại in ra NO.

Ràng buộc

• $1\le n\le {10}^5$
• $1\le m\le n$
• $1\le x\le 30$
• $s$ và $t$ chỉ gồm các chữ cái latin thường.

Ví dụ