module main;
// https://kmjp.hatenablog.jp/entry/2015/07/14/1000 より
// ナップザック問題、動的計画法
import std;

// aとbを比較してbの方が大きいならばaの値をbに更新する
void chMax(T)(ref T a, in T b)
{
	if (a < b) a = b;
}

void main()
{
	// 入力
	auto T = readln.chomp.to!int;
	auto N = readln.chomp.to!int;
	auto C = readln.split.to!(int[]);
	auto V = readln.split.to!(int[]);
	// 答えの計算
	auto VSum = new int[][](N, 14);
	auto dp = new int[][](N + 1, T + 1);
	foreach (i, v; V) {
		foreach (j; 0 .. 13) {
			VSum[i][j + 1] = VSum[i][j] + v;
			v /= 2;
		}
		foreach (j; 0 .. T + 1) {
			foreach (x; 0 .. 11) {
				if (j + x * C[i] > T) continue;
				chMax(dp[i + 1][j + x * C[i]], dp[i][j] + VSum[i][x]);
			}
		}
	}
	// 答えの出力
	writeln(dp[N].maxElement);
}