名前 (Name)

시간 제한1초메모리 제한1024 MB

문제

JOI 君と IOI 君は犬を飼うことにした.最初にすべきことは,犬の名前を決めることである.二人で話し合った結果,犬の名前を以下の 4 つの条件を満たすものにすることにした.

条件 1 名前は英大文字 (A, B, ..., Z) と英小文字 (a, b, ..., z) からなる文字列である.

条件 2 JOI 君の好きな文字列は長さ N の文字列 S であるから,S が名前の部分列となるようにする.

条件 3 IOI 君の好きな文字列は長さ M の文字列 T であるから,T が名前の部分列となるようにする.

条件 4 名前を呼びやすいものにするため,同じ文字の間には別の文字が K 文字以上あるようにする.厳密には,位置が異なる任意の同じ文字 2 つについて,必ずその間に別の文字が K 文字以上入っているようにする.なお,K = 0 の場合や,名前の文字がすべて異なる場合は,この条件を満たしていると考える.

ただし,これらの条件では英大文字と英小文字は区別される.例えば Aa は異なる文字とみなされることに注意せよ.

ここで,名前の部分列とは,名前から何文字か (0 文字でもよい) を取り除いて作れる文字列のことである.例えば,名前が algorithm であるとき,ailgtm は名前の部分列であるが,joilogarithm は名前の部分列ではない.

二人は名前が短いほど良いと考えているため,4 つの条件のもとで最も短い名前を付けることにした.

JOI 君と IOI 君の好きな文字列および整数 K が与えられたとき,犬に付ける名前の文字数を求めるプログラムを作成せよ.

입력

入力は以下の形式で与えられる.

N   M   K
S
T

출력

犬に付ける名前の文字数を 1 行で出力せよ.

제한

  • 1 ≦ N ≦ 500
  • 1 ≦ M ≦ 500
  • 0 ≦ K ≦ 3
  • S は英大文字と英小文字からなる長さ N の文字列である.
  • T は英大文字と英小文字からなる長さ M の文字列である.
  • N, M, K は整数である.