Program
#include<iostream>
using namespace std;
int main(){
ios_base::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
int a,b;
cin>>a>>b;
cout<<((a*b)/2)<<'\n';
return 0;
}from math import prod
print(prod(list(map(int,input().split(' '))))//2)