Untitled

#include <iostream>


using namespace std;

int main() {
	int a, b, c,S;
	cin >> a >> c;
	b = sqrt(c*c - a*a);
	S = a * b / 2;
	cout << S << endl;




}