题解

#include<bits/stdc++.h>
int main(){
    int n,m;
    std::cin>>n>>m;
    std::cout<<n*m/2;
    return 0;
}