a,b,c=map(int,input().split())
print(int((a*20+b*30+c*50)/100))
'''
用3个数分别乘以0.2，0.3，0.5。
所以，这题可以使用加权平均数来做。3个成绩的权值分别为2，3，5，最后除以10就可以了。由于都是10的整数倍，所以不会出现小数。
'''