众所周知，鸡尾酒的群名片叫作 "卖萌鸡尾酒"，他认为一个群里的 「有缘人」是群名片与他相近的人。 现在，鸡尾酒想找出群里的 「有缘人」。
首先，他将自己名片拆分成五个字 "卖"、"萌"、"鸡"、"尾"、"酒"，并分别作为关键字进行搜索，每次搜索都会找到所有群名片包含这个字的群友。如：搜索 "萌" 就能找到所有名片中包含 "萌" 的人。
如果某个人在至少两次搜索中都被搜索到，则鸡尾酒认为他是一位 「有缘人」。如 "[jwju]鸡尾酒的小迷弟" 以及 "尾酒" 是「有缘人」。 而 "王萌♂萌" 则不是。 现在告诉你鸡尾酒的五次搜索中每一次搜索到的人数，他想知道，群里最多有几位 「有缘人」。
输入一行包含五个正整数 $a,b,c,d,e$ 分别代表五次搜索中被搜索到的人数。
输出一行一个整数代表群里最多有几位「有缘人」。
1 1 1 1 1
2
Comet OJ