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