题解

#include<iostream>
using namespace std;
int main(){
    int x,y;
    cin>>x>>y;
    cout<<x*y/2;
    return 0;
}