考核知识点：贪心、数学、模拟

关键洞察在于发现将小写字母转换为大写字母是“有效”操作，而将大写字母转换为小写字母再转回

大写字母是“无效”操作，但可以消耗多余的K。

n, k = map(int, input().split())
s = input().strip()
u = sum(1 for c in s if c.isupper())
l = n - u
cvr = min(k, l)
u += cvr
k -= cvr
if k > 0:
    u -= k % 2
print(u)