#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  int n;
  long long int k;
  cin >> n >> k;
  string s, t;
  cin >> s >> t;
  long long int ans = 0LL;
  bool key = false;
  long long int cnt = 0;
  for (int i = 0; i < n; i++) {
    if (!key) {
      if (s[i] == t[i]) {
        ans++;
      } else {
        k--;
        ans += (n - i);
        if (k == 0LL) {
          break;
        }
        k--;
        ans += (n - i);
        if (k == 0LL) {
          break;
        }
        cnt = 0LL;
        key = true;
      }
      continue;
    }
    cnt = 2LL * cnt;
    if (t[i] == 'b') {
      cnt++;
    }
    if (s[i] == 'a') {
      cnt++;
    }
    if (cnt >= k) {
      ans += (n - i) * k;
      break;
    }
    ans += cnt;
  }
  cout << ans << "\n";
  return 0;
}
