Johan 被困在家中隔离，他试图通过玩社交模拟游戏《Critter Junction》来排解孤独，保持理智。游戏的主要内容之一是收集和收获各种资源，以获得游戏货币 Bling。Johan 专注于该游戏的“水果”类别，目标是在 40 天内仅使用水果而不使用其他资源，获得尽可能多的 Bling。

每种水果可以以 100 Bling 的价格出售，或者种植成一棵果树（二者只能选其一）。每棵果树在种植后的第三天开始，每三天产出三个新水果。

此外，还可以从邻村购买一些更具异国情调的水果。玩家每天可以前往邻村一次，支付 400 Bling 购买一个异国水果，购买当天即可种植或出售。与普通水果类似，这些异国水果可以种植成异国果树，每三天产出三个异国水果。每个异国水果可以以 500 Bling 的价格出售。

每天可以收获、出售和种植任意数量的水果/异国水果（当然要受现有数量的限制，例如，不能出售超过你实际拥有的水果数量），但每天最多只能购买一个异国水果。这些活动可以按任何顺序进行，例如，可以在同一天内先收获一些水果（无论是否为异国水果），然后将这些水果卖掉换取 Bling，再用这些 Bling 购买一个异国水果，最后选择种植或出售该异国水果。

给定 Johan 果园的当前状态，求他在剩余时间内能获得的最大 Bling 数量。

输入格式

输入包含一行，包含六个整数 $d, b, f, t_0, t_1$ 和 $t_2$ ($1 \le d \le 40, 0 \le b \le 500, 0 \le f, t_0, t_1, t_2 \le 100$)，其中：

• $d$ 是 Johan 剩余的天数。
• $b$ 是 Johan 当前拥有的 Bling 数量。
• $f$ 是 Johan 当前拥有的水果数量。
• $t_i$ 是 Johan 当前拥有的、将在从今天起 $i$ 天后产出果实的水果树数量（对于 $0 \le i \le 2$）。

Johan 目前没有异国水果或异国果树。

输出格式

输出一个整数：Johan 在玩了 $d$ 天后能拥有的最大 Bling 数量。

样例

样例输入 1

4 0 1 0 0 0

样例输出 1

300

样例输入 2

5 0 1 0 1 0

样例输出 2

1900

样例输入 3

6 0 1 1 0 0

样例输出 3

2300

样例输入 4

10 399 0 0 0 0

样例输出 4

399

样例输入 5

1 400 0 0 0 0

样例输出 5

500