scores=list(map(int,input().split()))
weights=[0.2,0.3,0.5]
result=0
for score,weight in zip(scores,weights):
    result+=score*weight
print(int(result))