题目描述

马上就要暑假了，张老师决定规划一下自己暑假的学习计划

张老师一共准备学习 $n$ 天，在这 $n$ 天中，张老师可以多次进行不同的学习，规则如下：

1. 每天一开始张老师的学习度初始为 $1$
2. 张老师每天学习的学习度不能 超过 $100$
3. 张老师每次进行 文化课学习 会使得当天的学习度 $+50$
4. 张老师每次进行 算法练习 会使得当天的学习度 $+20$
5. 张老师每次进行 复盘 会使得当天的学习度 $\times 2$

例如张老师在某一天先进行 算法练习，他的学习度会变成 $1 + 20 = 21$，再进行 复盘，他的学习度会变成 $21 * 2 = 42$，再进行 文化课学习，他的学习度会变成 $42+50=92$ 此时无法再进行任何其他的学习

现在张老师决定在暑假里一共进行 $x$ 次 文化课学习，$y$ 次 算法练习 和 $z$ 次 复盘，但是显然张老师的 $n$ 天时间并不一定够完成所有练习，现在张老师想知道，如何安排学习计划可以使得他尽可能多的完成学习任务？

输入格式

输入第一行包含一个整数 $n$ 表示学习天数

输入第二行包含三个整数 $x,y,z$ 含义如题

输出格式

输出一个整数表示张老师最多可以完成多少次学习任务

样例 1

1
4 3 3

6

样例解释

先进行 $3$ 次 复盘，然后进行 $3$ 次算法练习，学习度会变成 $1 * 2 * 2 * 2 + 20 + 20 + 20 = 68$

此时无法再进行 文化课学习，所以最多完成 $6$ 次学习

数据范围

对于 $10\%$ 的数据，有 $1 \leq n,x,y,z \leq 5$

对于 $30\%$ 的数据，有 $1 \leq n,x,y,z \leq 30$

对于 $50\%$ 的数据，有 $1 \leq n \leq 100,1 \leq x,y,z \leq 200$

对于 $100\%$ 的数据，有 $1 \leq n \leq 150,1 \leq x,y,z \leq 300$。