• 时间：1s
• 空间：256M

题面描述

在一个温馨而略显拥挤的小公寓里，小哈尼正忙碌地准备着周末的家庭聚会。阳光透过半开的窗帘，洒在整洁却略显局促的客厅里，为这平凡的一天增添了几分期待的气息。

小哈尼是一个细心且有条理的人，他总是提前规划好一切，确保聚会能够顺利进行。然而，今天，他却遇到了一个意想不到的难题——客厅角落里的插座插板位置设计得极不合理。

这个插座插板，原本是为了方便电视、音响和台灯等电器设备而安装的，但随着时间的推移，小哈尼添置了不少小家电，比如咖啡机、电热水壶和空气净化器，这些都急需电源支持。可问题是，插座插板的插孔分布得既不均匀又数量有限，仿佛故意在和他作对一般。

插板上的每个插座都可以看作一个直径为 $3cm$ 的圆形，小哈尼共有 $n$ 个电器需要使用插板，其中第 $i$ 个电器的插头块长度为 $w_i$，保证 $w_i \geq 3$，其中插头块的前 $3cm$ 为插头，插头块可以左右翻转，小哈尼家的一个插头板上有 $s$ 个插头连续排布，每个电器的插头块不能重叠，可以参考以下图示辅助理解插头块和插头板的关系。

小哈尼想知道在一个插板中至多可以插入 $n$ 个电器中的多少个电器。

输入格式

从 socket.in 文件读入数据。

输入共一行，包含两个正整数 $n,s$​。

第二行包含 $n$ 个正整数，第 $i$ 个正整数为 $w_i$。

输出格式

输出到 socket.out 文件。

输出一个整数，表示答案。

样例

8 9
7 4 3 6 4 8 5 6

6

10 79
7 52 58 58 58 43 31 4 43 16

9

30 90705524
29809994 1970850 674930 1733707 453064941 53990021 52253866 854456095 84551 629018177 657500 367198 760732001 1684229 147675 346710 588818 666748619 1067747 1757232 596593134 265147 1285270 407994 2477095 2675529 459136 41469127 775085 220010846

25

样例4

见选手下发目录下的 附加样例/socket/ex_socket4.in 和 附加样例/socket/ex_socket4.out 文件。

样例5

见选手下发目录下的 附加样例/socket/ex_socket4.in 和 附加样例/socket/ex_socket4.out 文件。

说明/提示

样例 1 解释

一种合法的解为题目描述中的图示。

数据范围

对于 $30\%$ 的数据，$w_i$ 为 $3$ 的倍数​。

对于 $60\%$ 的数据，$1 \leq n \leq 1000$。

对于所有测评数据，$1 \leq n \leq 2 \times 10^5,3 \leq w_i \leq 10^9,1 \leq s \leq 10^9$。