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