#include <bits/stdc++.h>
using namespace std;
long long n, k, d = 1, ans;
string s, t;
int32_t main() {
  ios_base::sync_with_stdio(0);
  cin >> n >> k >> s >> t;
  for (long long i = 0; i < n; i++) {
    d *= 2;
    if (s[i] == 'b') d--;
    if (t[i] == 'a') d--;
    if (d > k) {
      ans += k * (n - i);
      break;
    }
    ans += d;
  }
  cout << ans << endl;
  return 0;
}
