import sys
a,b,c=map(int,sys.stdin.readline().split())
s=a*0.2+b*0.3+c*0.5
print(int(s))