#include<stdio.h>
int main(){
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    if(a%10!=0||b%10!=0||c%10!=0){
        return 0;
    }
    int score;
    score=0.2*a+0.3*b+c*0.5;
    printf("%d",score);
    return 0;
}