a=input("请输入三角形第一条直角边的边长")
b=input("请输入三角形第二条直角边的边长")
print("{:.1f}".format(int(a)*int(b)*0.5))