【题目描述】

你是FlixNet的运营主管，负责将电影的标题传送给消费者。FlixNet上的所有电影标题都是一个单词，并且只由字母字符组成。

传输特定标题的总成本仅等于该标题中的字母数，除非您的网络间服务阻止程序已同意将该成本限制在给定的（浮点）值。

给定一部电影的标题和上限的价值，计算将该电影标题传输给消费者的成本。

【输入】

输入是一行，包含电影的名称s和成本的上限c。电影的名称将包含1到30个字符（1≤|s|≤30），并且仅由大写或小写字母组成。成本将一个浮点值(0≤c≤100)。

【输出】

输出一个浮点值，它是标题长度和成本上限的最小值。如果您的解决方案与正确答案的绝对或相对误差在0.00000000000001以内，则会被判断为正确。

【样本输入1】

GoneWithTheWind 13.341

【样本输出1】

13.341000000000

【样本输入2】

Gigi 93.7

【样本输出2】

4

【样本输入3】

PieHard 3.14159265358979323846

【样本输出3】

3.141592653590