#P1083B. The Fair Nut and Strings

The Fair Nut and Strings

Description

Recently, the Fair Nut has written kk strings of length nn, consisting of letters "a" and "b". He calculated cc — the number of strings that are prefixes of at least one of the written strings. Every string was counted only one time.

Then, he lost his sheet with strings. He remembers that all written strings were lexicographically not smaller than string ss and not bigger than string tt. He is interested: what is the maximum value of cc that he could get.

A string aa is lexicographically smaller than a string bb if and only if one of the following holds:

  • aa is a prefix of bb, but aba \ne b;
  • in the first position where aa and bb differ, the string aa has a letter that appears earlier in the alphabet than the corresponding letter in bb.

The first line contains two integers nn and kk (1n51051 \leq n \leq 5 \cdot 10^5, 1k1091 \leq k \leq 10^9).

The second line contains a string ss (s=n|s| = n) — the string consisting of letters "a" and "b.

The third line contains a string tt (t=n|t| = n) — the string consisting of letters "a" and "b.

It is guaranteed that string ss is lexicographically not bigger than tt.

Print one number — maximal value of cc.

Input

The first line contains two integers nn and kk (1n51051 \leq n \leq 5 \cdot 10^5, 1k1091 \leq k \leq 10^9).

The second line contains a string ss (s=n|s| = n) — the string consisting of letters "a" and "b.

The third line contains a string tt (t=n|t| = n) — the string consisting of letters "a" and "b.

It is guaranteed that string ss is lexicographically not bigger than tt.

Output

Print one number — maximal value of cc.

Sample Input 1

2 4
aa
bb

Sample Output 1

6

Sample Input 2

3 3
aba
bba

Sample Output 2

8

Sample Input 3

4 5
abbb
baaa

Sample Output 3

8

Note

In the first example, Nut could write strings "aa", "ab", "ba", "bb". These 44 strings are prefixes of at least one of the written strings, as well as "a" and "b". Totally, 66 strings.

In the second example, Nut could write strings "aba", "baa", "bba".

In the third example, there are only two different strings that Nut could write. If both of them are written, c=8c=8.