#include<cstdio> using namespace std; int a,b,c,s; int main() { scanf("%d%d%d",&a,&b,&c); s=a*0.2+b*0.3+c*0.5; printf("%d",s); return 0; }