#include <bits/stdc++.h>
using namespace std;
char s[500], t[400];
int f[205][205][205];
int main() {
  int n, k;
  scanf("%d%d", &n, &k);
  scanf("%s", s + 1);
  scanf("%s", t + 1);
  int e1, e2, e3;
  for (int i = 1; i <= n + 1; i++)
    for (int j = 0; j <= k; j++)
      for (int p = 0; p <= i; p++) f[i][j][p] = -1e9;
  f[1][0][0] = 0;
  for (int i = 1; i <= n; i++) {
    for (int j = 0; j <= k; j++) {
      for (int p = 0; p <= i; p++) {
        e1 = (s[i] == t[1]);
        e2 = (s[i] == t[2]);
        e3 = (t[1] == t[2]);
        f[i + 1][j][p + e1] =
            max(f[i + 1][j][p + e1], f[i][j][p] + (e2 ? p : 0));
        f[i + 1][j + 1][p + 1] =
            max(f[i + 1][j + 1][p + 1], f[i][j][p] + (e3 ? p : 0));
        f[i + 1][j + 1][p + e3] = max(f[i + 1][j + 1][p + e3], f[i][j][p] + p);
      }
    }
  }
  int ans = 0;
  for (int j = 0; j <= k; j++) {
    for (int p = 0; p <= n; p++) {
      ans = max(ans, f[n + 1][j][p]);
    }
  }
  printf("%d\n", ans);
  return 0;
}
