#include<stdio.h>
int main()
{int a,b,c;
scanf("%d%d%d",&a,&b,&c);
printf("%d",a*20/100+b*30/100+c*50/100);
return 0;
}
#include<stdio.h>
int main()
{int a,b,c;
scanf("%d%d%d",&a,&b,&c);
printf("%d",a*20/100+b*30/100+c*50/100);
return 0;
}