#include <stdio.h>

void chmax(int *a, int b)
{
	if (*a < b) *a = b;
}

int main()
{
	int A1, A2, A3, B;
	scanf("%d %d %d %d", &A1, &A2, &A3, &B);
	
	int ans = A1 * 3;
	chmax(&ans, A2 * 3);
	chmax(&ans, A3 * 3);
	chmax(&ans, A1 + A2 + A3 + B);
	printf("%d\n", ans);
	fflush(stdout);
	return 0;
}