题目背景

春节即将来临，福瑞终于拿到了压岁钱，打算买上山楂和木签，亲手串制自己最爱的冰糖葫芦。

题目描述

福瑞买了 n 颗山楂和 m 根木签。已知：

1.每根木签恰好能串 5 颗山楂； 2.为了美观，从签头到签尾，山楂的大小必须非递增（即后串上的山楂不大于先串上的山楂）。 现在给出每颗山楂的大小，请你帮福瑞计算：他最多能制作多少串完整的冰糖葫芦？

输入格式

第一行输入两个整数n和m（1≤n≤2e5，1≤m≤2e5），分别表示福瑞购买的山楂数量和木签数量； 第二行输入n个整数a₁, a₂, ..., aₙ（1≤aᵢ≤2e5），依次表示每颗山楂的大小。

输出格式

输出一个整数，表示福瑞最多能串制的冰糖葫芦数量。

样例

10 1
1 2 3 4 5 6 7 8 9 10

2

样例解释

首先将山楂按大小降序排列为：10、9、8、7、6、5、4、3、2、1。 每5颗山楂可串成一根符合要求的冰糖葫芦，因此第一串为{10、9、8、7、6}，第二串为{5、4、3、2、1}，最多可串2根冰糖葫芦。

by：计科25-2王源灏