#include<bits/stdc++.h> using namespace std; int main(){ int h,a,b; double s; cin>>h>>a>>b; s=h/2*a*b; printf("%.2lf",s); return 0; }