#include <stdio.h>

int main() 
{
    int A,B,C;
    int S;
    scanf("%d %d %d",&A,&B,&C);
    S=A*0.2+B*0.3+C*0.5;
    printf("%d\n",S);
    return 0;
}