#include <bits/stdc++.h>

#define rep(i,n) for(int i=0;i<(n);i++)

using namespace std;

int main(){
	int u,b,h; scanf("%d,%d,%d",&u,&b,&h);
	printf("%.3f\n",(u+b)*h/2.0);
	return 0;
}