#include<stdio.h>
int main(void){
    int u,b,h,A;
    scanf("%d,%d,%d\n",&u,&b,&h);
    
    A = (u + b)*h;
    
    printf("%.2f\n",(double)A/2);
    return 0;
    
}