Problem:
 Score : 100 points    Problem Statement There is a right triangle ABC with ∠ABC=90° .  Given the lengths of the three sides, |AB|,|BC| and |CA| , find the area of the right triangle ABC .  It is guaranteed that the area of the triangle ABC is an integer.      Constraints  1 \leq |AB|,|BC|,|CA| \leq 100  All values in input are integers.  The area of the triangle ABC is an integer.         Input Input is given from Standard Input in the following format:  |AB|  |BC|  |CA|       Output Print the area of the triangle ABC .        Sample Input 1 3 4 5      Sample Output 1 6   This triangle has an area of 6 .       Sample Input 2 5 12 13      Sample Output 2 30  This triangle has an area of 30 .       Sample Input 3 45 28 53      Sample Output 3 630  This triangle has an area of 630 .

Solution (Python):
a, b, c = map(int, input().split())

menseki = a * b // 2

print(menseki)

Solution (Python):
AB,BC,CA = map(int,input().split())
print((AB*BC) // 2)

Solution (Python):
x, y, z = map(int, input().split())
print(int(x * y / 2))

Solution (Python):
a,b,c = map(int,input().split())
d = max(a,b,c)
if a == d:
    print (b*c//2)
elif b == d:
    print (a*c//2)
else:
    print (a*b//2)

Solution (Python):
L=list(map(int,input().split()))
L.sort()
print(int(L[0]*L[1]/2))

Solution (Python):
a,b,c=map(int,input().split())
print(int(a*b/2))

Solution (Python):
AB, BC, CA = map(int,input().split())
print((AB*BC)//2)

Solution (Python):
AB, BC, CA = map(int,input().split())

print(int(AB*BC/2))

Solution (Python):
a, b, c = [int(item) for item in input().split()]
print((a * b) // 2)

Solution (Python):
a,b,_=map(int,input().split())
print(a*b//2)

Solution (Python):
sides = list(map(int, input().split()))
print(sides[0] * sides[1] // 2)

Solution (Python):

ab, bc, ca = map(int, input().split())
s = ab * bc / 2
print(int(s))

Solution (Python):
a,b,c=map(int,input().split())
print(int(a*b/2))

Solution (Python):
A, B, C = map(int, input().split())
print((A*B)//2)

Solution (Python):
x, y, z = map(int, input().split())
ans = x*y//2
print(ans)

Solution (Python):
a,b,c = map(int, input().strip().split(' '))
print(int(a*b/2))

Solution (Python):

import sys
from math import *
from itertools import *
from collections import *
from functools import *
try:
    from math import gcd
except Exception:
    from fractions import gcd
readInt = lambda: int(sys.stdin.readline())
readIntN = lambda: [int(v) for v in sys.stdin.readline().split(' ')]



def main():
    a, b, c = readIntN()
    result = a * b // 2
    print(result)

if __name__ == '__main__':
    main()

Solution (Python):
a,b,c = map(int,input().split())
print((a*b)//2)

Solution (Python):
a,b,c = map(int,input().split())
print((a*b)//2)

Solution (Python):
ab, bc, ca = map(int, input().split())
ans = ab * bc * 0.5
print(int(ans))

Solution (Python):
AB, BC, CA = map(int, input().split())
print(int(AB * BC / 2))

Solution (Python):
A, B, C =map(int,input().split())
print((A*B)//2)

Solution (Python):
a,b,c = map(int,input().split())
print(a * b // 2)

Solution (Python):
A,B,C = map(int, input().split())
print(int(A*B/2))

Solution (Python):
AB, BC, CA = map(int, input().split())

print( int(AB * BC / 2) )

Solution (Python):
a,b,c= map(int,input().split())

print(a*b//2)

Solution (Python):
edges = sorted(list(map(int, input().split())))
print(int(edges[0] * edges[1] * 0.5))

Solution (Python):
x =list( map(int,input().split()))
x.sort()
print(int(0.5*x[0]*x[1]))

Solution (Python):
length = list(map(int, input().split()))
print(int(length[0]*length[1]/2))

Solution (Python):
A, B, _ = map(int, input().split())
print(A*B//2)

Solution (Python):
a,b,c = map(int, input().split())
print(a*b//2)

Solution (Python):
c, a, b = map(int, input().split())
print(c*a//2)

Solution (Python):
L = list(map(int,input().split()))
print(L[0]*L[1]//2)

Solution (Python):
a,b,c = map(int,input().rstrip().split())

print(a * b // 2)

Solution (Python):

AB,BC,AC = map(int, input().split())
print(AB*BC//2)

Solution (Python):

from sys import stdin
AB,BC,AC = map(int, stdin.readline().rstrip().split())
print(int(AB*BC/2))

Solution (Python):
print([int(i[0])*int(i[1])//2 for i in[input().split()]][0])

Solution (Python):
h, w, n = map(int, input().split())

print(int(h*w/2))

Solution (Python):
AB, BC, CA = map(int, input().split())

print(int(AB * BC / 2))

Solution (Python):
A, B, C = map(int, input().split())
print(A * B // 2)

Solution (Python):
ab,bc,ca = map(int,input().split())
print(int(ab*bc/2))

Solution (Python):
a,b,c = map(int, input().split())
print(int(a*b/2))

Solution (Python):
abcList = list(map(int, input().split()))
abcList.sort()
ans = int((abcList[0] * abcList[1]) / 2)
print(ans)

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
c, a, b = map(int, input().split())
print(a * c // 2)

Solution (Python):
p,q,r=map(int,input().split())
print(p*q//2)

Solution (Python):
A,B,C = map(int,input().split())

print(A*B//2)

Solution (Python):
ABClist=input().split()
AB=int(ABClist[0])
BC=int(ABClist[1])
ans=int(AB*BC/2)
print(ans)

Solution (Python):
a,b,c = map(int,input().split())
print(a*b//2)

Solution (Python):
a,b,c=list(input().split())
A=int(int(a)*int(b)/2)
print(A)

Solution (Python):
ab, bc, ca = map(int, input().split())
print(ab * bc // 2)

Solution (Python):
a,b,c=map(int,input().split())
print(int(a*b/2))

Solution (Python):
x,y,z=map(int,input().split())
print(int(x*y/2))

Solution (Python):
a,b,c = map(int, input().split())
print((a * b)//2)

Solution (Python):
abc = input().split()
x = int(abc[0])
y = int(abc[1])
z = int(abc[2])

print((x * y) // 2)

Solution (Python):
x,y,z=map(int,input().split())

ans=x*y/2

print(int(ans))

Solution (Python):
x,y,z=map(int,input().split())

ans=x*y/2

print('{:.0f}'.format(ans))

Solution (Python):
ab,bc,ca = map(int,input().split())

print(int(ab*bc/2))

Solution (Python):
ab, bc, ca = map(int, input().split())

print(ab * bc // 2)

Solution (Python):
abc = list(map(int,input().split()))

abc.sort()

abc.pop()

print(int(abc[0] * abc[1] / 2))

Solution (Python):
import functools
import math

import os

INF = float('inf')


def inp():
    return int(input())


def inpf():
    return float(input())


def inps():
    return input()


def inl():
    return list(map(int, input().split()))


def inlf():
    return list(map(float, input().split()))


def inls():
    return input().split()


def debug(fn):
    if not os.getenv('LOCAL'):
        return fn

    @functools.wraps(fn)
    def wrapper(*args, **kwargs):
        print('DEBUG: {}({}) -> '.format(
            fn.__name__,
            ', '.join(
                list(map(str, args)) +
                ['{}={}'.format(k, str(v)) for k, v in kwargs.items()]
            )
        ), end='')
        ret = fn(*args, **kwargs)
        print(ret)
        return ret

    return wrapper
a, b, c = inl()
print(a * b // 2)

Solution (Python):
ab,bc,ca=map(int, input().split())

print(ab*bc//2)

Solution (Python):
a,b,_ = map(int,input().split())
print(int(a*b /2))

Solution (Python):
a=list(map(int,input().split()))
b=min(a)
a.remove(b)
c=min(a)
print(int(b*c/2))

Solution (Python):

a =[int(j) for j in input().split()]
a.remove(max(a))
print(int(0.5*a[0]*a[1]))

Solution (Python):

a, b, c = list(map(int, input().split()))

print(int(a * b / 2))

Solution (Python):
x, y, z = map(int, input().split())
print(x * y // 2)

Solution (Python):
a,b,c=map(int,input().split())
print(a*b>>1)

Solution (Python):
A,B,C = map(int,input().split())
print(int(A*B/2))

Solution (Python):
A,B,C = map(int, input().split())
print(int(A * B / 2))

Solution (Python):
A,B,_ = map(int, input().split())
print(A*B//2)

Solution (Python):
a=list(map(int,input().split()))
a.sort()
print(a[0]*a[1]//2)

Solution (Python):
x, y, z = list(map(int, input().split()))
print(int(x * y / 2))

Solution (Python):
AB,BC,CA = map(int,input().split())

print(int(AB*BC/2))

Solution (Python):
A = list(map(int, input().split()))
A.reverse()

print(int(A[1] * A[2] * 1/2))

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
a,b,c=map(int,input().split())
d=a*b*c
print(int(d/(2*max(a,b,c))))

Solution (Python):

import sys
INF = float("inf")


def main():
    AB, BC, CA = map(int, input().split())
    print(AB*BC//2)
    pass


if __name__ == '__main__':
    main()

Solution (Python):


a, b, c = list(map(int, input().split()))

print(a * b // 2)

Solution (Python):
a, b, c = sorted(map(int, input().split()))
print(a*b//2)

Solution (Python):
t = sorted(list(map(int, (input().split()))))
print(t[0] * t[1] // 2)

Solution (Python):
ab,bc,ca = map(int,input().split())
print('{0:.0f}'.format((ab*bc)/2))

Solution (Python):
a,b,c = map(int,input().split())
print(int(a*b/2))

Solution (Python):
a,b,c = map(int,input().split())

print(int(a*b/2))

Solution (Python):
AB, BC, _ = map(int, input().split())
print(AB*BC//2)

Solution (Python):
ab, bc, ca = map(int, input().split())
print(int(ab*bc/2))

Solution (Python):
c, a, b = map(int, input().split())
print(c*a//2)

Solution (Python):
A,B,C = map(int ,input().split())
print(int(A*B/2))

Solution (Python):
a, b, c = map(int, input().split())
print(int(a*b/2))

Solution (Python):
a, b, c = map(int, input().split())

output = a * b / 2
print(int(output))

Solution (Python):
edge = [int(i) for i in input().split()]

edge.sort()

print(int(edge[0]*edge[1]/2))

Solution (Python):
def MI(): return map(int, input().split())
def II(): return int(input())
def IS(): return input()
def LI(): return list(map(int, input().split()))


a, b, c = MI()
print((a*b)//2)

Solution (Python):
A, B, C = map(int,input().split())

print(int(A*B/2))

Solution (Python):
a,b,c = map(int,input().split())
print(a * b //2)

Solution (Python):
a,b,c = map(int,input().split())
ans = a * b // 2
print(ans)

Solution (Python):
a,b,c = map(int,input().split())
ans = int(a * b / 2)
print(ans)

Solution (Python):
A, B, _ = map(int, input().split())
print(int(A*B/2))

Solution (Python):
a,b,c=map(int,input().split())
arr=[a,b,c]
arr=sorted(arr)
print(int(arr[0]*arr[1]/2))

Solution (Python):
l=list(map(int, input().split()))
l.sort()
print(int(l[0]*l[1]/2))

Solution (Python):
l=list(map(int, input().split()))
l.sort()
print(int(l[0]*l[1]/2))

Solution (Python):
AB,BC,CA=map(int,input().split())
print(AB*BC//2)

Solution (Python):
ab, bc, ca = map(int, input().split())
print(ab * bc // 2)

Solution (Python):
a, b, c = map(int, input().split())

print(round(a*b / 2))

Solution (Python):
A,B,C=map(int,input().split())
print(int(A*B/2))

Solution (Python):
AB, BC, CA = map(int, input().split())
print(BC*AB//2)

Solution (Python):
x = input().split(' ')
print(int(int(x[0]) * int(x[1]) / 2))

Solution (Python):

AB, BC, CA = list(map(int, input().split()))
print(AB*BC//2)

Solution (Python):
a, b, c = map(int, input().split())
print(a * b // 2)

Solution (Python):
ab, bc, ca = map(int, input().split())
print(int(ab*bc/2))

Solution (Python):
A, B, _ = map(int, input().split())
print(A * B // 2)

Solution (Python):
A,B,C=map(int,input().split())
print(int(A*B/2))

Solution (Python):
AB, BC, CA = map(int,input().split())
print(AB*BC//2)

Solution (Python):
AB, BC, _ = map(int, input().split())
ans = AB * BC / 2
print(int(ans))

Solution (Python):
AB,BC,CA = map(int, input().split())
print(AB*BC//2)

Solution (Python):
AB,BC,CA = map(int, input().split(" "))
print(AB*BC//2)

Solution (Python):
AB,BC,CA = map(int, input().split(" "))
print(int(AB*BC/2))

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
a,b,c =map(int, input().split())
print(int(a*b/2))

Solution (Python):
a,b,c = [int(i) for i in input().split()]
print(a * b // 2)

Solution (Python):
a, b, c = map(int, input().split())

print(int(a * b / 2))

Solution (Python):
ab,bc,ca=map(int, input().split())
print(ab*bc//2)

Solution (Python):
edge = map(int, raw_input().split())
edge.sort()
print edge[0]*edge[1]/2

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
a, b, c = map(int, input().split())
print(int(a*b*0.5))

Solution (Python):
a,b,c = map(int,input().split())
S = 1 / 2 * a * b
S = int(S)
print(S)

Solution (Python):
a,b,c=map(int,input().split())
print(int(a*b/2))

Solution (Python):
a,b,c=map(int,input().split())
print(int((a*b)/2))

Solution (Python):


def main():
    a, b, c = [int(x) for x in input().split()]
    print(a * b // 2)

if __name__ == "__main__":
    main()

Solution (Python):
ab, bc, ca = map(int, input().split())
print(ab * bc // 2)

Solution (Python):
lines = sorted(list(map(int, input().split())))
print(int(0.5 * lines[0] * lines[1]))

Solution (Python):
A,B,C = map(int,input().split())
print((A*B)//2)

Solution (Python):
A, B, C =map(int, input().split())
print(A*B//2)

Solution (Python):
a,b,c=map(int,input().split())
print((a*b)//2)

Solution (Python):
ab,bc,ca = map(int, input().split())
print((ab * bc)//2)

Solution (Python):
abc = list(map(int, input().split()))
print(int(abc[0]*abc[1]//2))

Solution (Python):
a,b,c=map(int,input().split())
z=a*b/2
print(int(z))

Solution (Python):
a,b,c = map(int,input().split())
print(b * a // 2)

Solution (Python):
li=list(map(int, input().split()))
print(int(li[0]*li[1]*1/2))

Solution (Python):
a, b, c = map(int, input().split())
print(a * b // 2)

Solution (Python):
a,b,c = map(int,input().split())
print(int(a*b/2))

Solution (Python):
AB, BC, CA = map(int, input().split())
print(AB * BC // 2)

Solution (Python):
c,a,b = map(int,input().split())

print(c*a//2)

Solution (Python):
a=list(input().split())
b=int(a[0])
c=int(a[1])
d=int(c*b/2)
print(d)

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):


a, b, c = list(map(int, input().split()))

print(a * b // 2)

Solution (Python):
a,b,c = map(int,input().split())
print(a*b*c//max(a,b,c)//2)

Solution (Python):
a, b, c = map(int, input().split())

print(int(a*b/2))

Solution (Python):
c,a,b = map(int, input().split())
print(int(a*c/2))

Solution (Python):

A, B, _ = input().split()

print(int(int(A)*int(B)/2))

Solution (Python):
ab,bc,ca = map(int,input().split())
print(ab*bc//2)

Solution (Python):
a,b,c = map(int, input().split())
print(int(a*b/2))

Solution (Python):

ab, bc, ca = map(int, input().strip().split())
print(int(ab*bc/2))

Solution (Python):
a, b, c = map(int, input().split())
print(int(a * b /2))

Solution (Python):
AB, BC, CA = map(int,input().split())
print(int(AB*BC/2))

Solution (Python):
a, b, c = map(int, input().split())

print(a * b // 2)

Solution (Python):
c,a,b = map(int,input().split())
print(int(c*a/2))

Solution (Python):
def main():
	a, b, c = map(int, input().split())
	print(a*b//2)

if __name__ == '__main__':
    main()

Solution (Python):
AB, BC, CA = map(int, input().split())
print(AB*BC//2)

Solution (Python):
AB, BC, CA = map(int,input().split())
print(int(AB*BC/2))

Solution (Python):
a, b, c = list(map(int, input().split()))
print(int(a*b/2))

Solution (Python):
a, b, c = map(int, input().split())

edge = [a, b, c]
edge.sort()
ans = int(edge[0]*edge[1]/2)

print(ans)

Solution (Python):
AB, BC, CA = map(int, input().split())
print(AB * BC // 2)

Solution (Python):
c,a,b = map(int, input().split())
print(int(c*a*0.5))

Solution (Python):
A=list(map(int,input().split()))
print(A[0]*A[1]*1//2)

Solution (Python):
a, b, c = sorted(map(int, input().split()))
print(a * b // 2)

Solution (Python):
A, B, C = map(int, input().split())
print(A*B//2)

Solution (Python):




def main():
    a, b, c = map(int, input().split())
    edges = [a,b,c]
    edges.sort()
    print(edges[0] * edges[1] // 2)
    pass

if __name__ == '__main__':
    main()

Solution (Python):
AB, BC, CA = map(int, input().split())
print(BC * AB // 2)

Solution (Python):
a=list(map(int,input().split()))
print(a[0]*a[1]//2)

Solution (Python):
ab, bc , ca = map(int,input().split())
print(int(ab*bc/2))

Solution (Python):
AB,BC,_ = list(map(int,input().split()))
print((AB*BC)//2)

Solution (Python):
a,b,c=map(int,input().split(' '))
print(int(a*b/2))

Solution (Python):
a,b,c=map(int,input().split())
d=max(a,b,c)
print(int(a*b*c/(2*d)))

Solution (Python):
a_list = list(map(int, input().split()))
a_list.sort()
print(int(a_list[0] * a_list[1]/2))

Solution (Python):
a,b,c=map(int,input().split());print(a*b//2)

Solution (Python):
A, B, C = map(int, input().split())

print(int(A*B/2))

Solution (Python):
a,b,c=map(int,input().split())
print(int(a*b/2))

Solution (Python):
def main():
    C, A, B = map(int, input().split())
    print(int(C*A/2))
main()

Solution (Python):
A,B,C = map(int, input().split())
print(A*B//2)

Solution (Python):
a = [ int(i) for i in input().split() ]
print(a[0] * a[1] // 2 )

Solution (Python):
c, a, b = map(int, input().split())
print(c * a // 2)

Solution (Python):
c,a,b = [int(i) for i in input().split()]
print(int(c*a/2))

Solution (Python):
c,a,b=map(int,input().split())
print(round(c*a/2))

Solution (Python):
a,b,c = map(int, input().split())
print(a*b//2)

Solution (Python):
ab, bc, ca = map(int, input().split())

print(int(ab*bc/2))

Solution (Python):
AB, BC, CA = map(int, input().split())

print(int(AB*BC//2))

Solution (Python):
a,b,c=map(int,input().split())
print(int((a*b)/2))

Solution (Python):
a,b,c = map(int,input().split())
print(int(a*b/2))

Solution (Python):


c,a,b = map(int,input().split())

print(int(a*c/2))

Solution (Python):
lines=list(map(int,input().split()))
lines.sort()

print(int(lines[0]*lines[1]/2))

Solution (Python):
import math
a,b,c = list(map(int,input().split()))

s = (a+b+c)/2
print(int(math.sqrt(s*(s-a)*(s-b)*(s-c))))

Solution (Python):
a,b,c=map(int,input().split())
print((a*b)//2)

Solution (Python):
AB, BC, CA = map(int, input().split())
ans = AB*BC/2
print(int(ans))

Solution (Python):
ab, bc, ca = list(map(int, input().split()))
re = int(ab*bc / 2)
print(re)

Solution (Python):
A,B,C = map(int,input().split())
print(int(A * B / 2))

Solution (Python):
AB, BC, CA = [int(i) for i in input().split()]
print(AB * BC // 2)

Solution (Python):
AB, BC, CA = map(int, input().split())

def main():
    return int(AB*BC/2)

if __name__ == '__main__':
    print(main())

Solution (Python):
List=[int(x) for x in input().split()]

Max=max(List)

List.remove(Max)

print(int(List[0]*List[1]/2))

Solution (Python):
ab, bc, ca = map(int, input().split())
print(int(ab * bc / 2))

Solution (Python):
a, b, c = map(int, input().split())

print(a * b // 2)

Solution (Python):

c, b, a = map(int, input().split())
print(int(c * b / 2))

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
A, B, C = map(int,input().split())

if (A*A+B*B==C*C):
    s = A*B/2
elif (A*A+C*C==B*B):
    s = A*C/2
else:
    s = B*C/2

print(int(s))

Solution (Python):
a,b,c = map(int, input().split())
print(a*b//2)

Solution (Python):
a,s,d=map(int,input().split())
print(int(a*s/2))

Solution (Python):
from sys import stdin
import numpy as np

H = [int(x) for x in stdin.readline().rstrip().split()]

print(int(H[0]*H[1]/2))

Solution (Python):
AB, BC, CA = map(int, input().split())
print(int(AB*BC/2))

Solution (Python):
AB,BC,CA=map(int,input().split())
print(int(AB*BC/2))

Solution (Python):
A, B, C = [int(x) for x in input().split()]
print(int((A*B)/2))

Solution (Python):
A,B,C = map(int,input().split(' '))
print(int(A*B/2))

Solution (Python):
a, b, _ = map(int, input().split())
print(int(a * b / 2))

Solution (Python):
a,b,c = map(int, input().split())
print(int(a*b/2))

Solution (Python):
a, b, c = map(int,input().split())
print(a*b//2)

Solution (Python):
e = list(map(int,input().split()))
e.sort()
print((e[0]*e[1])//2)

Solution (Python):
a, b, c = map(int, input().split())
print((a*b)//2)

Solution (Python):
a,b,c = map(int,input().strip().split())

print((a * b) // 2)

Solution (Python):
a,b,c=map(int,input().split())
print(int(a*b/2))

Solution (Python):

a, b, c = map(int, input().split())
print(int(a*b/2))

Solution (Python):
a,b,c=map(int, input().split())
print(a*b//2)

Solution (Python):
a, b, c = map(int, input().split())
print(int(a * b / 2))

Solution (Python):
ab,bc,ca = map(int,input().split())
square = int(ab*bc/2)
print(square)

Solution (Python):
a, b, c = list(map(int, input().split()))
 
print(int(a*b/2))

Solution (Python):
ab, bc, ca = map(int, input().split())
print(bc*ab//2)

Solution (Python):
a, b, c = map(int, input().split())
print(int(a * b * 0.5))

Solution (Python):
abc = list(map(int, input().split()))
print(abc[0] * abc[1] // 2)

Solution (Python):
a, b, c = list(map(int, input().split()))

print(int(a*b/2))

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
ab,bc,ca = map(int, input().split())
print(int(ab*bc/2))

Solution (Python):

AB, BC, CA = map(int, input().split())
print(int(AB*BC/2))

Solution (Python):
a,b,c=map(int,input().split());print(a*b//2)

Solution (Python):
AB, BC, CA = map(int, input().split())
print(int(AB*BC/2))

Solution (Python):
a = [int(i) for i in input().split()]
a = sorted(a)
ans = int(a[0] * a[1]/2)
print(ans)

Solution (Python):
c,a,b = map(int,input().split())

print(int((c*a)/2))

Solution (Python):
AB,BC,CA = map(int,input().split())
print(int(AB*BC*(1/2)))

Solution (Python):
l = list(map(int,input().split()))
l.sort()
ans = l[0]*l[1]//2
print(ans)

Solution (Python):
ab, bc, _ = map(int, input().split())
print(int(0.5*ab*bc))

Solution (Python):
a,b,c = map(int,input().split())
print(int((a*b)/2))

Solution (Python):
ab, bc, ca = map(int, input().split())
area = int(bc*ab/2)
print(area)

Solution (Python):
a, b, c = map(int, input().split())  
print(int(a*b/2))

Solution (Python):
A,B,C=input().split()
A=int(A)
B=int(B)
print(int(A*B/2))

Solution (Python):
a = [int(x) for x in input().split()]
print(int((a[0]*a[1])/2))

Solution (Python):
AB, BC, CA = map(int, input().split())
print(int(AB*BC/2))

Solution (Python):
x, y, z = map(int, input().split())
print(int(x*y/2))

Solution (Python):

AB, BC, CA = map(int, input().split())
print(int(AB * BC / 2))

Solution (Python):
a,b,c=map(int,input().split())
S=a*b/2
print(int(S))

Solution (Python):
ab, bc, ac = map(int, raw_input().split())
big = ab
if big < bc:
    big = bc
if big < ac:
    big = ac
inc = [ab, bc, ac]
inc.remove(big)

print inc[0] * inc[1] / 2

Solution (Python):
sides = sorted([int(_) for _ in input().split()])

print("{}".format(sides[0] * sides[1] // 2))

Solution (Python):
A, B, C = [int(x) for x in input().split()]
print(int(A*B/2))

Solution (Python):
a,b,_ = map(int,input().split())
print(a*b//2)

Solution (Python):
A,B,C=map(int, input().split())
print(int(A*B*0.5))

Solution (Python):
ab,bc,ca = map(int, input().split())
print(int(ab*bc*0.5))

Solution (Python):
AB, BC, CA = map(int, input().split())

print(int(AB*BC/2))

Solution (Python):
a,b,c = sorted([int(i) for i in input().split()])
print(int(a*b/2))

Solution (Python):
s = list(map(int, input().split()))
s.sort()
print(int(s[0]*s[1]/2))

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
a,b,c = map(int,input().split())
print(a*b//2)

Solution (Python):
AB,BC,CA = map(int,input().split())
print(AB*BC//2)

Solution (Python):
A,B,C=map(int,input().split())
S=0
if A>B and A>C:
    S=B*C/2
elif B>A and B>C:
    S=A*C/2
else:
    S=A*B/2
print(int(S))

Solution (Python):
AB, BC, CA = map(int, input().split())

print(int(BC * AB / 2))

Solution (Python):
x = list(map(int, input().split(' ')))
print(int(x[0] * x[1] / 2))

Solution (Python):
a=list(map(int,input().split()))
r=[e for e in a if e != max(a)]
print(int(r[0]*r[1]/2))

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
import math
ab, bc, ca = [float(item) for item in input().split()]

s = (ab + bc + ca) / 2.0
area = math.sqrt(s*(s-ab)*(s-bc)*(s-ca))

print(int(area))

Solution (Python):
a,b,c = map(int,input().split())
ans = (a*b)/2
print (int(ans))

Solution (Python):
import numpy as np

sides = list(map(int, input().split()))
sides = np.array(sides)
answer_sides = []

for i in range(len(sides)):
    if sides[i] != sides.max():
        answer_sides.append(sides[i])

print(int(answer_sides[0] * answer_sides[1] / 2))

Solution (Python):
ab,bc,ca = map(int,input().split())
print(int(ab*bc/2))

Solution (Python):
AB, BC, CA = map(int, input().split())
print(AB*BC//2)

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):





def main():
    
    l = list(map(int,input().split()))
    l.sort()
    print(int(l[0]*l[1]/2))
    return 

if __name__ == '__main__':
    main()

Solution (Python):
A, B, C = map(int,input().split())
print((A*B)//2)

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
a, b, c = map(int, input().split())

print(int(a*b//2))

Solution (Python):
a,b,x = map(int, input().split(' '))
s = int(a*b/2)
print(str(s))

Solution (Python):
def main():
    ab, bc, _ = get_params()
    print(area(ab, bc))


def get_params():
    return [int(s) for s in input().split()]


def area(ab, bc):
    return ab * bc // 2


if __name__ == "__main__":
    main()

Solution (Python):
A,B,C = list(map(int,input().split()))
print(int(A*B/2))

Solution (Python):
AB, BC, CA = map(int, input().split())
 
S = int(AB*BC / 2)
print(S)

Solution (Python):
a,b,c = map(int,input().split())
if(a>b and a>c):
    print(b*c/2)
elif(b>c and b>a):
    print(c*a/2)
else:
    print(int(a*b/2))

Solution (Python):
arr = list(map(int, input().split()))
arr.sort()
print(arr[0] * arr[1] // 2)

Solution (Python):
a,b,c =map(int,input().split())
print(int(a*b/2))

Solution (Python):
a,b,c=map(int,input().split())
print(int(a*b/2))

Solution (Python):



ls = [int(x) for x in input().split()]
ls.sort()
print(int((ls[0]*ls[1])/2))

Solution (Python):
ab,bc,ca = map(int,input().split())
print(int(ab * bc / 2))

Solution (Python):
AB,BC,CA=map(int,input().split())
print(int(AB*BC/2))

Solution (Python):
a=sorted(map(int,input().split()))
print(a[0]*a[1]//2)

Solution (Python):
C,A,B=map(int,input().split())
print(C*A//2)

Solution (Python):
AB , BC, CA  = map(int,input().split())
print (int(1/2 * AB * BC))

Solution (Python):
x,y,_ = map(int,input().split())
print(x*y//2)

Solution (Python):
a=list(map(float,input().split()))
a.remove(max(a))
print(int(a[0]*a[1]*0.5))

Solution (Python):
def ans():
  A, B, C = map(int,input().split())
  print((A*B)//2)
ans()

Solution (Python):
a=list(map(int,input().split()))
a.sort()
print(a[0]*a[1]//2)

Solution (Python):
a = list(map(int, input().split()))
a.sort()
print(a[0] * a[1] // 2)

Solution (Python):
a,b,c=map(int,input().split());print(a*b//2)

Solution (Python):
a,b,c=map(int,input().split());print(int(a*b/2))

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
def right_triangle(AB: int, BC: int, CA: int) -> int:
    return (AB * BC) // 2


if __name__ == "__main__":
    AB, BC, CA = [int(s) for s in input().split()]
    ans = right_triangle(AB, BC, CA)
    print(ans)

Solution (Python):
a = map(int, input().split())
a = sorted(a)
print(a[0] * a[1] // 2)

Solution (Python):
A,B,C=map(int,input().split())
print(int(A*B/2))

Solution (Python):
a, b, c = map(int, input().split())
print(int(a*b/2))

Solution (Python):
AB, BC, CA = map(int, input().split())

print(AB * BC // 2)

Solution (Python):
a,b,c=sorted(map(int,input().split()))
print(a*b//2)

Solution (Python):
AB, BC, CA = map(int, input().split())
print(int(AB*BC/2))

Solution (Python):
L = list(map(int,input().split()))
print(int(L[0]*L[1]/2))

Solution (Python):
AB, BC, CA = [ int(x) for x in input().split() ]

ans = (AB * BC) // 2

print(ans)
print()

Solution (Python):
A, B, C = map(int, input().split())
print(int((A*B)/2))

Solution (Python):
AB,BC,CA = map(int,input().split())

print(int(AB*BC/2))

Solution (Python):
A = [int(x) for x in input().split()]
A.sort()
print(A[0]*A[1]//2)

Solution (Python):
A,B,_ = list(map(int,input().split(" ")))
print(int(A*B/2))

Solution (Python):
AB, BC, CA = [int(i) for i in input().split()]

print(int(AB * BC / 2))

Solution (Python):
a,b,c = map(int, input().split(" "))
print(int(a*b/2))

Solution (Python):
A, B, C = (int(x) for x in input().split())
print(A*B//2)

Solution (Python):
AB, BC, CA = map(int, input().split())
print(AB * BC //2)

Solution (Python):

ab, bc, ca = [int(x) for x in input().split()]
print(ab * bc // 2)

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
a,b,c = map(int, input().split())
if a==max(a,b,c):
  print(b*c//2)
elif b==max(a,b,c):
  print(a*c//2)
else:
  print(a*b//2)

Solution (Python):
a,b,c = map(int,input().split())
print(int(a*b/2))

Solution (Python):
AB, BC, CA = list(map(int, input().split()))

print((AB * BC)//2)

Solution (Python):
ls = map(int, input().split())
ls = sorted(ls)

print(int(ls[0] * ls[1] / 2))

Solution (Python):
ab, bc, ca = map(int, input().split())
print(ab*bc//2)

Solution (Python):
a,b,c=map(int,input().split())
print(a*b//2)

Solution (Python):
line = input()
info = results = [int(i) for i in line.split()]

s = info[0]*info[1]/2
print(int(s))

Solution (Python):
A, B, _ = input(" ").split(" ")
print(int(int(A)*int(B)/2))

Solution (Python):
ab, bc, ca = map(int, input().split())

print(ab*bc//2)

Solution (Python):
l=list(map(int,input().split()))
l.remove(max(l))
print(int(l[0]*l[1]/2))

Solution (Python):
a, b, c = map(int, input().split())
print(int(a * b / 2))

Solution (Python):
a, b, c = map(int, input().split())

print(int(a * b / 2))

Solution (Python):
AB, BC, CA = list(map(int, input().split()))
if AB ** 2 + BC ** 2 == CA ** 2:
	print(int(AB * BC / 2))
elif BC ** 2 + CA ** 2 == AB ** 2:
	print(int(BC * CA / 2))
else:
	print(int(CA * AB / 2))

Solution (Python):
from sys import stdin
 
a, b, c = [int(x) for x in stdin.readline().rstrip().split()]
print(int((a*b)/2))

Solution (Python):
a,b,c = map(int, input().split())
print(a*b//2)

Solution (Python):
ab,bc,ca=map(int,input().split())
s=(ab+bc+ca)/2
print(int(pow(s*(s-ab)*(s-bc)*(s-ca),1/2)))

Solution (Python):
x, y, z = map(int,input().split())
print(int(x*y/2))

Solution (Python):
a, b, c = map(int, input().split())
print(int(a * b / 2))

Solution (Python):

import copy
import numpy as np
import random

l = [int(i) for i in input().split()]
l.sort()
print(l[1]*l[0]//2)

Solution (Python):
AB,BC,CA = map(int,input().split())
print(int(AB*BC*1/2))

Solution (Python):
a, b, c = map(int,input().split())
print("%d"%(a*b/2))

Solution (Python):
l=list(map(int,input().split()))
l.sort()
print(int(0.5*l[0]*l[1]))

Solution (Python):
list1 = [int(a) for a in input().split()]
list1_0 = list1[0] 
list1_1 = list1[1] 

print(int(list1_0 * list1_1 / 2))

Solution (Python):
a, b, c = map(int,input().split())
d = max(a, b, c)
print(a * b * c // d // 2)

Solution (Python):
listA = list(map(int, input().split()))
listB = (sorted(listA)[:2])
print(int(max(listB)*min(listB)/2))

Solution (Python):
a=input().split()
b=int(a[0])
c=int(a[1])
print(b*c//2)

Solution (Python):
h,b,_ = map(int,input().split())

ans = int(h*b/2)

print(ans)

Solution (Python):
a, b, c = map(int, input().split())
print((a * b) // 2)

Solution (Python):
a,b,c = map(int, input().split())
 
print(int(a*b/2))

Solution (Python):
(ab, bc, cd) = map(int, input().split())
print(int((ab * bc) / 2))

Solution (Python):
a,b,c = map(int,input().split())

s = int(a*b/2)

print(s)

Solution (Python):
def main():
    ab, bc, ca = map(int, input().split())
    print(ab * bc // 2)


if __name__ == "__main__":
    main()

Solution (Python):

abc_ent = list(map(int, input().split()))

ab = abc_ent[0]
bc = abc_ent[1]

S = ab * bc / 2
S = int(S)
print(S)

Solution (Python):
A, B, C = map(int, input().split(" "))
print(A*B//2)

Solution (Python):
a, b, c = map(int, input().split(' '))
print (int(a * b / 2))

Solution (Python):
(ab, bc, ca) = map(int, input().split())
print(int(ab * bc / 2))