给定一个 $∠ ABC = 90 °$ 的直角三角形的三条边，输出这个三角形的面积。保证答案为整数。

Translated by ShanCreeper.