#include <bits/stdc++.h>

//const static double	de_PI	= 3.14159265358979323846;
//const static int	de_MOD	= 1000000007;
//const static int	de_MAX	= 999999999;
//const static int	de_MIN = -999999999;

int main(void) {

	//std::ifstream in("123.txt");	std::cin.rdbuf(in.rdbuf());

	int L1 = 0, L2 = 0, L3 = 0;
	int R = 0, B = 0, Y = 0;
	std::cin >> L1 >> L2 >> L3 >> R >> B >> Y;

	int L12 = 2 * L1 + 2 * L2;
	int L23 = 2 * L2 + 2 * L3;
	int L31 = 2 * L3 + 2 * L1;

	std::vector<int> A(6);
	A[0] = R*L12 + B*L23 + Y*L31;
	A[1] = R*L12 + Y*L23 + B*L31;
	A[2] = B*L12 + R*L23 + Y*L31;
	A[3] = B*L12 + Y*L23 + R*L31;
	A[4] = Y*L12 + R*L23 + B*L31;
	A[5] = Y*L12 + B*L23 + R*L31;

	std::cout << *std::min_element(A.begin(), A.end()) << std::endl;

}