小猿的打字机

N, M, K = map(int, input().strip().split(' '))
s1 = input()
s2 = input()
if K == 0:
    if s1 == s2:
        print(1)
    print(0)
else:
    b = [1]
    for _ in range(K):
        b.append(b[-1] * 2)
    c = [[1] * (N + 1) for _ in range(N + 1)]
    for i in range(1, N + 1):
        for j in range(1, min(i, K + 1)):
            c[i][j] = c[i - 1][j] + c[i - 1][j - 1]
    d = [[0] * (N + 1) for _ in range(N + 1)]
    for p in range(N + 1):
        for i in range(max(0, K - N + p), min(p, K) + 1):
            temp = b[i] * c[p][i] * c[N - p][K - i]
            for j in range(K - i + 1):
                if 0 <= p - i + j <= N:
                    d[p][p - i + j] += temp * c[K - i][j]
    ans = [0 for _ in range(N + 1)]
    same = sum(p == q for p, q in zip(s1, s2))
    ans[N] = 1
    for i in range(M):
        t = []
        for j in range(N + 1):
            tt = 0
            for p in range(N + 1):
                tt += ans[p] * d[j][p]
            t.append(tt % 1000000007)
        ans = t
    print(ans[same])