#include <bits/stdc++.h>
using namespace std;

int main() {
	double a, b;
	double ans = 0.0;
	cin >> a >> b;
	ans = a * b / 2;
	cout << fixed << setprecision(2)  << ans;
	return 0;
}