#include<bits/stdc++.h> using namespace std; int main(){ char c; double m,n; cin>>c>>m>>n; if(c=='r') cout<<m*n<<endl; if(c=='t') cout<<m*n/2<<endl; return 0; }