解

#include<iostream>
#include<iostream>
#include<iostream>
#include<iostream>
#include<iostream>
#include<iostream>
#include<iostream>
#include<iostream>

using namespace std;
int main(){
int a,b;
cin>>a>>b;
cout<<a*b/2;
return 0;
}