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.



Sample input:
3 4 5


Sample output:
6

Submission status: Accepted

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

Submission status: Accepted

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

print(ab * bc // 2)

Submission status: Accepted

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

Submission status: Accepted

Solution code:

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

Submission status: Accepted

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

Submission status: Accepted

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

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
import bisect
import cmath
import heapq
import itertools
import math
import operator
import os
import re
import string
import sys
from collections import Counter, deque, defaultdict
from copy import deepcopy
from decimal import Decimal
from fractions import gcd
from functools import lru_cache, reduce
from operator import itemgetter, mul, add, xor

import numpy as np

if os.getenv("LOCAL"):
    sys.stdin = open("_in.txt", "r")

sys.setrecursionlimit(10 ** 9)
INF = float("inf")
IINF = 10 ** 18
MOD = 10 ** 9 + 7
# MOD = 998244353
a, b, _ = list(map(int, sys.stdin.buffer.readline().split()))
print(int(a * b // 2))

Submission status: Accepted

Solution code:
# coding: utf-8

hen = sorted([int(i) for i in input().rstrip().split(" ")])
ans = int(hen[0] * hen[1] / 2)
print(ans)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
l=list(map(int, input().split()))

result=int(l[0]*l[1]*0.5)
print(result)

Submission status: Accepted

Solution code:
INT = lambda: int(input())
INTM = lambda: map(int,input().split())
STRM = lambda: map(str,input().split())
STR = lambda: str(input())
LIST = lambda: list(map(int,input().split()))
LISTS = lambda: list(map(str,input().split()))
def do():
    a=LIST()
    a.sort()
    print(a[0]*a[1]//2)
if __name__ == '__main__':
    do()

Submission status: Accepted

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

Submission status: Accepted

Solution code:
ab, bc, ac = map(int,input().split())

print(int(ab * bc * ac / max(ab,bc,ac) / 2 ))

Submission status: Accepted

Solution code:
AB, BC, CA = map(int, input().split())
print(int(0.5 * AB * BC))

Submission status: Accepted

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

ans = ab*bc//2
print(ans)

Submission status: Accepted

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

Submission status: Accepted

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


if __name__ == '__main__':
    solve()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
h, w, _ = [int(i) for i in input().split()]
ans = h * w // 2
print(ans)

Submission status: Accepted

Solution code:
T = list(map(int, input().split()))
T.sort()

print(T[0] * T[1] // 2)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
import math

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:

h,w,_ = map(int, input().split())

print(h*w//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(int(A*B*0.5))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
ab, bc, ac = [int(x) for x in input().split()]
print(int((ab*bc)/2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#n = int(input())
#n,k = map(int,input().split())
#x = list(map(int,input().split()))


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

print((a*b)//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
import sys
input = sys.stdin.readline
import numpy as np
L = [int(x) for x in input().rstrip().split()]
L = sorted(L)
print(int((1/2) * L[0] * L[1]))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print((a*b)//2)

Submission status: Accepted

Solution code:

A,B,C=map(int, input().split())  #複数数値入力　「A B」みたいなスペース空いた入力のとき

print(int(A*B/2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# ABC116a
import sys
input = sys.stdin.readline
sys.setrecursionlimit(10**6)

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
##### 解けた #####

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-
import math

#入力
#S = str(input())
#N, i = map(int, input().split())
#K = int(input())
A, B, C = map(int, input().split())

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

Submission status: Accepted

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

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
import sys
input = sys.stdin.readline
A, B, C = map(int, input().split())
print(A * B // 2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
x,y,r = map(int,input().split())

AREA = x*y

AREA2 =(AREA//2) 


print(AREA2)

Submission status: Accepted

Solution code:
lst = list(map(int,input().split()))
h = lst[0]
b = lst[1]
print((h*b)//2)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
l = list(map(int, input().split()))

ans = l[0] * l[1] / 2
print(int(ans))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
def main():
    array = list(map(int,input().split()))

    array.sort()
    array = array[:-1]
    print(int(array[0]*array[1]/2))

if __name__ == '__main__':
    main()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
A,B,C = (int(i) for i in input().split())

ans = A * B // 2
print(ans)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#Right Triangle
a, b, c = map(int, input().split())
if max(a, b, c) == a:
    print(b*c//2)
if max(a, b, c) == b:
    print(a*c//2)
if max(a, b, c) == c:
    print(b*a//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
data = list(map(int,input().split()))

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

Submission status: Accepted

Solution code:
import os, sys, re, math

L,M,N = list(map(int,input().split(' ')))

print(L*M//2)

Submission status: Accepted

Solution code:
ab, bc, ca = [int(a) for a in input().split()]
print (int(ab * bc / 2))

Submission status: Accepted

Solution code:
import os, sys, re, math

(AB, BC, CA) = [int(n) for n in input().split()]

print (BC * AB // 2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

S = AB * BC // 2


print(S)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# 2019-11-12 01:01:32(JST)
import sys
# import collections
# import math
# from string import ascii_lowercase, ascii_uppercase, digits
# from bisect import bisect_left as bi_l, bisect_right as bi_r
# import itertools
# from functools import reduce
# import operator as op
# from scipy.misc import comb # float
# import numpy as np 

def main():
    a, b, c = (int(x) for x in sys.stdin.readline().split())
    print(a * b // 2)



if __name__ == "__main__":
    main()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

ret = ab*bc//2

print(ret)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(int(AB*BC/2))

Submission status: Accepted

Solution code:
import sys
import math as mp

a,b,c = map(int, input().split())
p=int((a+b+c)/2)
print(int(mp.sqrt(p*(p-a)*(p-b)*(p-c))))

Submission status: Accepted

Solution code:
import sys
def input(): return sys.stdin.readline().strip()

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

main()

Submission status: Accepted

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

Submission status: Accepted

Solution code:
xs = list(map(int,input().split()))

xs.sort()

print(xs[0] * xs[1] // 2)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
t = list(map(int, input().split()))

t.sort()

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#!/usr/bin/env python3


# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
def main():
    x, y, z = map(int, input().split())
    print(int(x*y*0.5))

if __name__ == '__main__':
    main()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
from sys import stdin

a,b,c = [int(x) for x in stdin.readline().rstrip().split()]

print(a*b//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
n,a,b=map(int,input().split())
x=[]
x.append(n)
x.append(a)
x.append(b)
x.sort()
print(int(x[0]*x[1]/2))

Submission status: Accepted

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

print(min(AB*BC, BC*CA, CA*AB) // 2)

Submission status: Accepted

Solution code:
#A,B,C = map(int,input().split())
AB,BC,CA = map(int,input().split())
#print(AB,BC,CA)
print((AB*BC)//2)
#print((A*B)//2)

Submission status: Accepted

Solution code:
ab, bc, ca = map(int, input().split())
# = int(input())
# = input()
# = list(map(int, input().split()))

print(int(ab*bc/2))

Submission status: Accepted

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

Submission status: Accepted

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

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

Submission status: Accepted

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

print(int(ab * bc / 2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
v, h, s = map(int, input().split())

print(int(v * h / 2))

Submission status: Accepted

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

Submission status: Accepted

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

print(int(ab* bc/2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
X = list(map(int, input().split()))
X.sort()

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
import math
a,b,c=sorted(map(int,input().split()))
print(math.floor(a*b/2))

Submission status: Accepted

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

Submission status: Accepted

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

print(a*b // 2)

Submission status: Accepted

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

print(round(a*b/2))

Submission status: Accepted

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

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(int(A*B/2))

Submission status: Accepted

Solution code:
x = list(map(int, input().split()))

x.sort()

print(x[0] * x[1] // 2)

Submission status: Accepted

Solution code:
a,b,c=map(int,input().split())	#map(int　でinputの中身をint性質にしている
print(b*a//2)					#//はint表示、/はreal表示。多分

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

if __name__ == "__main__":
    main()

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(AB*BC//2)

Submission status: Accepted

Solution code:
import math


def func():
    str = input()
    x, y, z = str.split()
    x = int(x)
    y = int(y)
    z = int(z)
    print(int((x*y)/2))


if __name__ == "__main__":
    func()

Submission status: Accepted

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

print(int(AB * BC / 2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
INPUT = list(map(int,input().split()))
AB=INPUT[0]
BC=INPUT[1]
CA=INPUT[2]

print('{:.0f}'.format(AB*BC/2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a,b,c=map(int,input().split())
if a>b and a>c:
    ans=(0.5)* b * c
elif b>a and b>c:
    ans=(0.5)* a * c
else:
    ans = (0.5) * a * b

print(int(ans))

Submission status: Accepted

Solution code:
'''
A - Right Triangle
https://atcoder.jp/contests/abc116/tasks/abc116_a

>>> main(3, 4, 5)
6
>>> main(5, 12, 13)
30
>>> main(45, 28, 53)
630
'''


def main(ab, bc, ca):
    print((ab * bc) // 2)


if __name__ == '__main__':
    ab, bc, ca = map(int, input().split(' '))

    main(ab, bc, ca)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
l = list(map(int, input().split()))

l.sort()
print(int((l[0]*l[1])/2))

Submission status: Accepted

Solution code:
def slove():
    import sys
    input = sys.stdin.readline
    a, b, c = list(map(int, input().rstrip('\n').split()))
    print(a * b // 2)


if __name__ == '__main__':
    slove()

Submission status: Accepted

Solution code:
import sys

input = sys.stdin.readline


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


if __name__ == "__main__":
    main()

Submission status: Accepted

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

Submission status: Accepted

Solution code:
ab, bc, ca = map(int, input().replace('|', '').split())
print((ab * bc) // 2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-

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

ans = (a * b) / 2

print ans

Submission status: Accepted

Solution code:
ls=[int(s) for s in input().split()]
ls.sort()
print((ls[0]*ls[1])//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#2019/09/23
AB, BC, CA = map(int, input().split())
print(int(AB * BC / 2))

Submission status: Accepted

Solution code:
import sys
sys.setrecursionlimit(2147483647)
INF=float("inf")
MOD=10**9+7
input=lambda :sys.stdin.readline().rstrip()
def resolve():
    A=list(map(int,input().split()))
    A.sort()
    print(A[0]*A[1]//2)
resolve()

Submission status: Accepted

Solution code:
ab, bc, _ = map(int, input().split())

print(ab * bc // 2)

Submission status: Accepted

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

print( int(ab * bc /2))

Submission status: Accepted

Solution code:
e = sorted(list(map(int, input().split())))

print(e[0]*e[1]//2)

Submission status: Accepted

Solution code:
a = list(map(int, input().split()))

a.sort()

print((a[0] * a[1]) // 2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

print(AB * BC // 2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
if __name__ == '__main__':
    AB, BC, CA = map(int, input().split())
    print(AB*BC//2)

Submission status: Accepted

Solution code:
#!/usr/bin/env python3
a,b,c=map(int,input().split())
print(a*b//2)

Submission status: Accepted

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

Submission status: Accepted

Solution code:
x,y,z = input().split()
x,y,z = int(x), int(y), int(z)
 
print(int(x*y*0.5))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a, b, c = map(int, input().split())
s = ( (a+b+c)*(b+c-a)*(a+b-c)*(a+c-b) ) ** (1/2) // 4
print(int(s))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
import sys

if sys.platform =='ios':
    sys.stdin=open('input_file.txt')
    
a,b,c=map(int,input().split())



print((a*b)//2)

Submission status: Accepted

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

Submission status: Accepted

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

print(int(a*b/2))

Submission status: Accepted

Solution code:
l,m,n = map(int,input().split())
print(int(l*m/2))

Submission status: Accepted

Solution code:
s=list(input().split())
a=int(s[0])
b=int(s[1])

D=int(a*b/2)

print(D)

Submission status: Accepted

Solution code:
a, b, _= map(int, input().split())

print((a*b)//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
# -*-coding: utf-8 -*-
a, b, c = map(int, input().split())
print(a*b//2)

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
import sys
input = sys.stdin.readline


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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

s = (ab * bc) / 2

print(int(s))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
abc=[int(x) for x in input().split()]
abc.sort()

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

Submission status: Accepted

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

print(a * b // 2)

Submission status: Accepted

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

print(int(A*B/2))

Submission status: Accepted

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

Submission status: Accepted

Solution code:
a,b,_ = map(int,input().split(' '))

print(int(a*b/2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
source = input().split()
AB, BC, CA = int(source[0]), int(source[1]), int(source[2])
print(int(AB * BC / 2))

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

Solution code:
#ABC116 A
AB,BC,CA = list(map(int, input().split()))
print(int(AB*BC/2))

Submission status: Accepted

Solution code:
# -*- coding: utf-8 -*-

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

abc.sort()

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

Submission status: Accepted

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

ans = int(AB*BC/2)

print(ans)