#include <bits/stdc++.h>
using namespace std;
string A, B;
int main() {
  long long n, k, i, j, f = 1, res = 0;
  scanf("%lld %lld", &n, &k);
  cin >> A >> B;
  for (i = n - 1; i >= 0; i--) B[i + 1] = B[i];
  for (i = n - 1; i >= 0; i--) A[i + 1] = A[i];
  for (i = 1; i <= n; i++) {
    f <<= 1;
    if (B[i] == 'a') f--;
    if (A[i] == 'b') f--;
    if (f > k) f = k + 1;
    res += min(f, k);
  }
  printf("%lld", res);
  return 0;
}
