a,h=input().split() a,h=int(a),int(h) s=a*h//2 print("s=%d"%s)