#include<iostream> using namespace std; int main(){ char a; double m,n; cin>>a>>m>>n; if (a=='r'){ cout<<m*n; } else if (a=='t'){ cout<<1.0*m*n/2; } return 0; }