#include<bits/stdc++.h>
using namespace std;
int n;
int a[i][j];
float s,mx;
int main(){
	for(int i=0;i<n;i++){
		for(int j=0;j<3;j++){
			cin>>a[i][j];
		}
	}
	for(int i=0;i<n;i++){
		s=(a[i][0]*a[i][1])*a[i][2]/2;
		if(s>mx) mx=s;
		
	}
	printf("%.1f",mx);	

	return 0;
}

/**************************************************************
	Problem: 1330
	User: wuzihang
	Language: C++
	Result: Compile Error
****************************************************************/