#include<stdio.h>

int main(void){
    
    int a, b, c;
    scanf("%d,%d,%d",&a, &b, &c);
    printf("%0.2f",(float)(a+b)*c/2);
    return 0;
    
    
}