题目描述

兔子先生大学毕业后找到了一份实习工作，如果实习通过它就能转正了。

实习期共有 $N$ 天，其中有几天公司集体放假，兔子先生不用上班，剩下时间它可以选择工作或者休息。

兔子先生工作总是越来越累，可是每当它休息时，它就重新充满了能量。简而言之，兔子先生第一天工作的这一天会消耗体力 $1$，连续第二天工作的这一天会消耗体力 $2$，连续第三天工作的这一天会消耗体力 $3$，以此类推……

每当兔子先生休息后，工作的第一天又会消耗体力 $1$。

为了让 boss 满意，兔子先生想工作尽量多的天数，但是懒惰的兔子先生又想让自己的总体力消耗不超过 $k$。

输入格式

第一行两个整数 $N$（$1\le N\le300$）和 $k$（$1\le k\le N\times(N+1)/2$），表示一共有 $N$ 天，以及总体力不超过 $k$。

第二行是一个长度为 $N$ 的 01 字符串。如果第 $i$ 个字符为 1，表示第 $i$ 天兔子先生可以选择工作或者休息；如果第 $i$ 个字符为 0，则表示公司这天集体放假，兔子先生休息。

输出格式

输出一行，包含一个整数，表示兔子先生最多能工作的天数。

说明与提示

第三天和第四天里面休息一天即可，最多工作 $2$ 天，总体力消耗为 $2$。

来源

浩轩OJ 4389 · 原题图片

数据范围与约定

为了让 boss 满意，兔子先生想工作尽量多的天数，但是懒惰的兔子先生又想让自己的总体力消耗不超过 $k$。

第一行两个整数 $N$（$1\le N\le300$）和 $k$（$1\le k\le N\times(N+1)/2$），表示一共有 $N$ 天，以及总体力不超过 $k$。

可见测试数据

输入数据 1

4 2
1011

输出数据 1

2

输入数据 2

5 3
10111

输出数据 2

3

输入数据 3

1 1
1

输出数据 3

1