#include <iostream>

using namespace std;

using namespace std;
int main(){
        int a,b;
        cin>>a>>b;
        int count = 0;
        count += (b*a/2);
        // 4.5 gets rounded to 4
        cout<<count;

        return 0;
}