350 — AceptaelReto

#include <iostream>

using namespace std;

int main() {
    int a, b;
    cin >> a >> b;
    while (!(a == 0 && b == 0))
    {
        printf("%.1f\n", a * (double) b/2);
        cin >> a >> b;
    }
    return 0;
}