#include<cstdio>
int main() {
  int a,b,c;
  scanf("%d%d%d",&a,&b,&c);
  printf("%.3f",(a+b)*c/2.0);
}