import sys

for line in sys.stdin:
    a = line.split()
    A,B,C=int(a[0]),int(a[1]),int(a[2])
    print(int(A*0.2)+int(B*0.3)+int(C*0.5))