#include<stdio.h> int main(){ int up,down,height; scanf("%d %d %d",&up,&down,&height); printf("%.3f",height*(up+down)/2.0);//.0 }