题号：NC210151
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
题目描述
小明遇到了一个字符串"aaaaaaaaaaaaaaaaaaaaaaavbbbbbbbbbbbbbbbbbbbbbbbbbbb"。他发现这个字符串太长了，读的时候容易漏，决定压缩一下他。把它变成"a23vb27"的形式，简单易懂。（注意：v后面没有1）
但是这个字符串有时候还是太长了，小明决定从中删除几个字母，使得压缩后的字符串尽可能的短。
如，删除'v'以后，变成"a23b27"，可以让长度从7变成6。
输入描述:
输入共两行，第一行包括一个仅由小写字母的字符串，表示原字符串。
第二行包括一个整数，表示小明想从原字符串删除的字母数量。
输出描述:
输出一个整数，表示删除k个字母后压缩以后的最短字符串长度。