c#include <bits/stdc++.h> using namespace std; int main(){ cin.tie(0); cout.tie(0); ios_base::sync_with_stdio(false); long long N, M; cin >> N >> M; cout << (N * M) / 2 << "\n"; return 0; }
#include <bits/stdc++.h> using namespace std; int main(){ cin.tie(0); cout.tie(0); ios_base::sync_with_stdio(false); long long N, M; cin >> N >> M; cout << (N * M) / 2 << "\n"; return 0; }