#include<bits/stdc++.h>
using namespace std;
int main(){
    int c[105][3]={0};
    int n;
    double m,max=0;
    cin>>n;
    for(int i=0;i<n;i++){
        for(int j=0;j<3;j++){
            cin>>c[i][j];
        }
    }
    for(int i=0;i<n;i++){
        m=(c[i][1]+c[i][0])*c[i][2]/2.0;
        if(m>max){
            max=m;
        }
    }
    printf("%.1f",max);
    return 0;
}
/**************************************************************
	Problem: 1330
	User: luyanchen
	Language: C++
	Result: Accepted
	Time:10 ms
	Memory:2076 kb
****************************************************************/