import sys

for line in sys.stdin:
    a, b, c = map(int,line.split())
    print(int(a*0.2 + b*0.3 + c*0.5))