- 总结规律
 
#include<bits/stdc++.h>
using namespace std;
int main(){
    long n,m;
    cin>>n>>m;
    cout<<(n*m)/2<< endl;
    return 0;
}
#include<bits/stdc++.h>
using namespace std;
int main(){
    long n,m;
    cin>>n>>m;
    cout<<(n*m)/2<< endl;
    return 0;
}