小红的red

题号：NC313700
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

$\hspace{15pt}$ 小红有 $n$ 个仅包含 $\texttt{r,e,d}$ 三种字符的字符串。她这样定义一个字符串的价值：如果字符串中包含一种字符，那么价值为 $1$ ；如果包含两种字符，那么价值为 $2$ ；如果包含三种字符，那么价值为 $4$ 。
$\hspace{15pt}$ 小红可以进行最多 $k$ 次操作，每次操作可以选择任意一个字符串的任意一个字符，将其更改为 $\texttt{r,e,d}$ 中的任意一个。她希望所有字符串的价值之和尽可能大，请你算出可能的最大价值。

输入描述:

第一行输入两个整数 。
之后的  行，每行输入一个字符串 （保证所有字符串的长度之和不超过 ）。

输出描述:

输出一个整数，代表可能的最大价值。

示例1

输入

复制

3 1
r
ee
red

输出

复制

说明

一种可行的最优做法是将第二个字符串变为 。