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

// 内部定数
#define D_MONEY_MAX		10005									// 最大金額
#define D_NDL_CNT		20										// 最大麺数

// 内部変数
static FILE *szpFpI;											// 入力
static int siMoney;												// 金額
static int si1Ndl[D_NDL_CNT];									// 麺
static int siNCnt;												// 麺数
static int si1BCnt[D_MONEY_MAX];								// 購入回数

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

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// ソート関数 - int昇順
int
fSortFnc(
	const void *pzpVal1			// <I> 値１
	, const void *pzpVal2		// <I> 値２
)
{
	int *lipVal1 = (int *)pzpVal1;
	int *lipVal2 = (int *)pzpVal2;

	// int昇順
	if (*lipVal1 > *lipVal2) {
		return 1;
	}
	else if (*lipVal1 < *lipVal2) {
		return -1;
	}

	return 0;
}

// 素数チェック
int
fIsPrm(
	int piVal					// <I> 値
)
{
	int i;

	if (piVal < 2) {
		return -1;
	}

	int liMax = (int)sqrt((double)piVal);
	for (i = 2; i <= liMax; i++) {
		if (piVal % i == 0) {
			return -1;
		}
	}

	return 0;
}

// 実行メイン
int
fMain(
)
{
	int i, j, liRet;
	char lc1Buf[1024];

	// 金額 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siMoney);

	// 麺数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siNCnt);

	// 麺 - 取得
	for (i = 0; i < siNCnt; i++) {
		fscanf(szpFpI, "%d", &si1Ndl[i]);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 麺 - ソート
	qsort(si1Ndl, siNCnt, sizeof(int), fSortFnc);

	// 購入回数 - セット
	for (i = 0; i < siNCnt; i++) {

		// １つ目
		int liMoney = siMoney - si1Ndl[i];
		if (liMoney < 0) {
			break;
		}
		if (si1BCnt[liMoney] > 0) {
			continue;
		}
		si1BCnt[liMoney] = 1;

		// ２つ目以降
		for (j = siMoney; ; j--) {

			// 個数
			int liCnt = si1BCnt[j] + 1;
			if (liCnt < 2) {
				continue;
			}

			// 残金
			int liTo = j - si1Ndl[i];
			if (liTo < 0) {
				break;
			}

			// 購入回数 - 更新
			if (si1BCnt[liTo] < liCnt) {
				si1BCnt[liTo] = liCnt;
			}
		}
	}

	// 最大回数
	int liCnt = 0;
	for (i = 0; i <= siMoney; i++) {
		if (liCnt < si1BCnt[i]) {
			liCnt = si1BCnt[i];
		}
	}

	// 素数
	for (i = 0; i <= siMoney; i++) {
		liRet = fIsPrm(i);
		if (liRet == 0) {
			liCnt += si1BCnt[i];
		}
	}

	return liCnt;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	memset(si1BCnt, 0, sizeof(si1BCnt));						// 購入回数

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

	// 実行メイン
	liRet = fMain();

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

	// 結果 - 出力
	fOut(lc1Buf);

	// 残データ有無
#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", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

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

	return 0;
}