#include <iostream>
#include <cstdio>
using namespace std;

int main() {
	int m, n;
	scanf("%d%d", &m, &n);
	printf("%d", m*n>>1);
	return 0;
}