#include <bits/stdc++.h>
using namespace std;
long long n, k, ans, x;
string str1, str2;
int main() {
  scanf("%lld%lld", &n, &k);
  cin >> str1;
  cin >> str2;
  x = 1;
  for (int i = 0; i < n; i++) {
    x *= 2;
    if (str1[i] == 'b') x--;
    if (str2[i] == 'a') x--;
    if (x > k) {
      ans += (n - i) * k;
      break;
    }
    ans += x;
  }
  printf("%lld", ans);
}
