Solution to the problem number 350 of AceptaelReto - 350.

Any questions do not hesitate to contact.

#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;
}

Don't miss anything.

Keep in touch with Isaac Lozano Osorio!