#include<iostream>
#include<iomanip>
using namespace std;l
int main()
{
    double data[2];
    cin>>data[0]>>data[1];
    if(data[0]<0||data[1]<0)
    {
        cout<<"Invalid input"<<endl;
    }
    else
    {
        double ke =0.5*data[0]*data[1];
        coutr<<ke<<endl;
    }
    return 0;
}