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

// 内部定数
#define D_MAKE_CNT		4															// 作成数
#define D_KIND_CNT		3															// 種類数
#define D_LEN_MAX		30															// 最大長さ

// 内部変数
static FILE *szpFpI;																// 入力
static int si1Make[D_MAKE_CNT];														// 作成する板
static int si1Kind[D_KIND_CNT];														// 作成元の板
static int si4Cnt[D_LEN_MAX + 5][D_LEN_MAX + 5][D_LEN_MAX + 5][D_LEN_MAX + 5];		// 枚数[長さ１][長さ２][長さ３][作成長さ]
static int siMin;																	// 最小枚数

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

// 枚数 - セット
int
fSetCnt(
	int *pipLen					// <I> 各板の長さ
	, int piCnt					// <I> 板数
	, int piSumLen				// <I> 合計長さ
	, int piSumCnt				// <I> 合計枚数
)
{
	// 選択終了
	if (piCnt == D_KIND_CNT) {

		// 枚数 - 更新
		int *lipCnt = &si4Cnt[pipLen[0]][pipLen[1]][pipLen[2]][piSumLen];
		if (*lipCnt == 0 || *lipCnt > piSumCnt) {
			*lipCnt = piSumCnt;
		}

		return 0;
	}

	// 開始長さ
	int liLen;
	if (piCnt < 1) {					// １枚目
		liLen = 1;
	}
	else {								// ２枚目以降
		liLen = pipLen[piCnt - 1];
	}

	// 長さ - セット
	for ( ; liLen <= D_LEN_MAX; liLen++) {
		for (int liCnt = 0; ; liCnt++) {

			// 合計長さ
			int liSum = piSumLen + liLen * liCnt;
			if (liSum > D_LEN_MAX) {
				break;
			}

			// 長さ - セット
			pipLen[piCnt] = liLen;

			// 下位へ
			fSetCnt(pipLen, piCnt + 1, liSum, piSumCnt + liCnt);
		}
	}

	return 0;
}

// 枚数 - 取得
int
fGetCnt(
)
{
	int i;

	// 各板を作成
	int liSum = 0;
	for (i = 0; i < D_MAKE_CNT; i++) {

		// 枚数
		int liCnt = si4Cnt[si1Kind[0]][si1Kind[1]][si1Kind[2]][si1Make[i]];
		if (liCnt == 0) {															// なし
			return -1;
		}

		// 枚数加算
		liSum += liCnt;
	}

	return liSum;
}

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

	// データ - 初期化
	memset(si4Cnt, 0, sizeof(si4Cnt));							// 枚数[長さ１][長さ２][長さ３][作成長さ]
	siMin = INT_MAX;											// 最小枚数

	// 入力 - セット
#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

	// 枚数 - セット
	int li1Len[D_KIND_CNT];
	fSetCnt(li1Len, 0, 0, 0);

	// 作成する板 - 取得
	for (i = 0; i < D_MAKE_CNT; i++) {
		fscanf(szpFpI, "%d", &si1Make[i]);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 作成元の板 - セット
	for (si1Kind[0] = 1; si1Kind[0] <= D_LEN_MAX; si1Kind[0]++) {
		for (si1Kind[1] = si1Kind[0] + 1; si1Kind[1] <= D_LEN_MAX; si1Kind[1]++) {
			for (si1Kind[2] = si1Kind[1] + 1; si1Kind[2] <= D_LEN_MAX; si1Kind[2]++) {

				// 枚数 - 取得
				int liCnt = fGetCnt();
				if (liCnt < 1) {
					continue;
				}

				// 最小枚数 - 更新
				if (siMin > liCnt) {
					siMin = liCnt;
				}
			}
		}
	}

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

	// 結果 - 表示
#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;
}