F. Подпоследовательности длины два
ограничение по времени на тест
2 секунды
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

Вам задано две строки $$$s$$$ и $$$t$$$, состоящие из строчных букв латинского алфавита. Длина $$$t$$$ равна $$$2$$$ (то есть эта строка состоит ровно из двух символов).

За один ход вы можете выбрать любой символ $$$s$$$ и заменить его на любую строчную букву латинского алфавита. Более формально, вы выбираете какое-то $$$i$$$ и заменяете $$$s_i$$$ (символ на позиции $$$i$$$) на какой-то символ от 'a' до 'z'.

Вы хотите сделать не более $$$k$$$ замен таким образом, чтобы максимизировать количество вхождений $$$t$$$ в $$$s$$$ в качестве подпоследовательности.

Напомним, что подпоследовательность — это последовательность, которая может быть получена из заданной последовательности путем удаления нуля или более элементов без изменения порядка остальных элементов.

Входные данные

Первая строка входных данных содержит два целых числа $$$n$$$ и $$$k$$$ ($$$2 \le n \le 200$$$; $$$0 \le k \le n$$$) — длина $$$s$$$ и максимальное количество ходов, которое можно сделать. Вторая строка входных данных содержит строку $$$s$$$, состоящую из $$$n$$$ строчных букв латинского алфавита. Третья строка входных данных содержит строку $$$t$$$, состоящую из двух строчных букв латинского алфавита.

Выходные данные

Выведите одно целое число — максимально возможное количество вхождений $$$t$$$ в $$$s$$$ в качестве подпоследовательности при оптимальной замене не более $$$k$$$ символов в $$$s$$$.

Примеры
Входные данные
4 2
bbaa
ab
Выходные данные
3
Входные данные
7 3
asddsaf
sd
Выходные данные
10
Входные данные
15 6
qwertyhgfdsazxc
qa
Выходные данные
16
Входные данные
7 2
abacaba
aa
Выходные данные
15
Примечание

В первом примере можно получить строку «abab», заменив $$$s_1$$$ на 'a' и $$$s_4$$$ на 'b'. Тогда ответ будет равен $$$3$$$.

Во втором примере можно получить строку «ssddsdd» и получить ответ $$$10$$$.

В четвертом примере можно получить строку «aaacaaa» и получить ответ $$$15$$$.