#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ATR_MAX		15 * 10									// 最大アトラクション数
#define D_TIME_MAX		10000									// 最大滞在時間

// 内部構造体 - アトラクション情報
typedef struct Atr {
	int miTime;													// 行列時間
	int miVal;													// 満足度
} Atr;

// 内部変数
static FILE *szpFpI;											// 入力
static int siTime;												// 滞在時間
static Atr sz1Atr[D_ATR_MAX];									// アトラクション
static int siACnt;												// アトラクション数
static int si2Val[D_ATR_MAX][D_TIME_MAX + 5];					// 満足度[アトラクション][滞在時間]

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
#endif

// ソート関数 - (満足度 / 行列時間) の降順
int
fSortFnc(
	const void *pzpVal1			// <I> 値１
	, const void *pzpVal2		// <I> 値２
)
{
	Atr *lzpVal1 = (Atr *)pzpVal1;
	Atr *lzpVal2 = (Atr *)pzpVal2;

	// 満足度 / 行列時間
	double ldRate1 = (double)lzpVal1->miVal / (double)lzpVal1->miTime;
	double ldRate2 = (double)lzpVal2->miVal / (double)lzpVal2->miTime;

	// (満足度 / 行列時間) の降順
	if (ldRate1 > ldRate2) {
		return(-1);
	}
	else if (ldRate1 < ldRate2) {
		return(1);
	}

	return 0;
}

// 満足度 - セット
int
fSetVal(
	int piTime					// <I> 滞在時間
	, int piVal					// <I> 満足度
	, int piANo					// <I> アトラクション
)
{
	// 滞在時間 - チェック
	if (piTime > siTime) {
		return 0;
	}

	// 満足度 - チェック・更新
	if (piTime > 0) {
		if (si2Val[piANo][piTime] >= piVal) {
			return 0;
		}
		si2Val[piANo][piTime] = piVal;
	}

	// 終了チェック
	if (piANo >= siACnt) {
		return 0;
	}

	// アトラクション - 使用
	fSetVal(piTime + sz1Atr[piANo].miTime, piVal + sz1Atr[piANo].miVal, piANo + 1);

	// アトラクション - 未使用
	fSetVal(piTime, piVal, piANo + 1);

	return 0;
}

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	int i;
	char lc1Buf[1024], lc1Out[1024];

	// データ - 初期化
	memset(si2Val, 0, sizeof(si2Val));							// 満足度[アトラクション][滞在時間]

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", piTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", piTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 滞在時間 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siTime);

	// アトラクション数 - 取得
	int liACnt;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &liACnt);

	// 行列時間 - 取得
	for (i = 0; i < liACnt; i++) {
		fscanf(szpFpI, "%d", &sz1Atr[i].miTime);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 満足度 - 取得
	for (i = 0; i < liACnt; i++) {
		fscanf(szpFpI, "%d", &sz1Atr[i].miVal);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// アトラクション数
	siACnt = liACnt;

	// ２回目以降のアトラクション - 追加
	for (i = 0; i < liACnt; i++) {
		int liVal = sz1Atr[i].miVal;
		while (liVal > 1) {
			liVal /= 2;
			sz1Atr[siACnt].miTime = sz1Atr[i].miTime;
			sz1Atr[siACnt].miVal = liVal;
			siACnt++;
		}
	}

	// アトラクション - ソート
	qsort(sz1Atr, siACnt, sizeof(Atr), fSortFnc);

	// 満足度 - セット
	fSetVal(0, 0, 0);

	// 最大満足度 - 取得
	int liMax = INT_MIN;
	for (i = 0; i <= siTime; i++) {
		if (liMax < si2Val[siACnt][i]) {
			liMax = si2Val[siACnt][i];
		}
	}

	// 結果 - セット
	sprintf(lc1Out, "%d\n", liMax);

	// 結果 - 表示
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
#endif

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		fMain(i);
	}
#else
	fMain(0);
#endif

	return 0;
}