length = map(int, raw_input().split())
colors = map(int, raw_input().split())

length.sort()
colors.sort()

ans = 0
ans += (length[0]+length[1]) * colors[2] * 2
ans += (length[0]+length[2]) * colors[1] * 2
ans += (length[1]+length[2]) * colors[0] * 2

print ans