#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n, k;
  cin >> n >> k;
  string s, t;
  cin >> s >> t;
  long long btw = 0;
  long long ans = 0;
  int i;
  for (i = 0; i < n; i++) {
    if (i == 0) {
      btw += (s[i] == 'a');
      btw += (t[i] == 'b');
    } else {
      btw *= 2;
      if (s[i] == 'b') btw--;
      if (t[i] == 'a') btw--;
    }
    if (btw >= k) {
      break;
    }
    ans += btw;
  }
  ans += 1LL * (n - i) * k;
  printf("%lld\n", ans);
  return 0;
}
