题目描述

小瓜有一张计划表，上面列出了接下来若干天的计划。计划分为三种，分别用 $0,1,2$ 表示：

• $0$：表示当天不出门；
• $1$：表示当天要外出用餐；
• $2$：表示当天要参加编程竞赛。

小瓜的衣柜里有两种 $\text{T}$ 恤：普通 $\text{T}$ 恤和带有 $\text{Turing}$ 徽标的 $\text{T}$ 恤（以下简称“徽标 $\text{T}$ 恤”）。他会根据不同的计划穿不同种类的 $\text{T}$ 恤：

• 外出用餐时，小瓜可以穿任意一种 $\text{T}$ 恤；
• 参加编程竞赛时，小瓜只能穿徽标 $\text{T}$ 恤；
• 不外出时，小瓜不会穿任何 $\text{T}$ 恤，且会把所有 $\text{T}$ 恤清洗一遍。

小瓜一旦在某天穿上一件 $\text{T}$ 恤，这件 $\text{T}$ 恤就不能在之后的日子里再穿，直到它被洗干净为止。

初始时，小瓜只拥有 $M$ 件干净的普通 $\text{T}$ 恤，没有徽标 $\text{T}$ 恤。请问：他至少需要购买多少件徽标 $\text{T}$ 恤，才能满足所有计划日的穿衣需求？

输入格式

第一行：两个整数 $N,M$，分别表示计划日天数和最开始拥有的普通 $\text{T}$ 恤数。

第二行：一个字符串，包含 $N$ 个整数，分别表示每天的安排。

输出格式

一个整数，表示满足需要所需购买的最少徽标 $\text{T}$ 恤数量。

6 1
112022

2

3 1
222

3

2 1
01

0

样例 $1$ 解释

购买 $2$ 件徽标 $\text{T}$ 恤就足够了：

第一天，穿普通 $\text{T}$ 恤；

第二天，穿徽标 $\text{T}$ 恤；

第三天：穿徽标 $\text{T}$ 恤；

第四天：清洗所有 $\text{T}$ 恤，此时又有 $1$ 件普通 $\text{T}$ 恤和 $2$ 件徽标 $\text{T}$ 恤可以穿；

第五天和第六天，每天都可以穿一件徽标 $\text{T}$ 恤。

数据范围

对于所有数据，$1\leq M\leq N\leq 1000$。