import java.util.*;
import java.lang.Math.*;
import java.text.DecimalFormat;
public class A {
public static void main(String args[]){
Scanner cin=new Scanner(System.in);
double a,b,c,p,s;
while(cin.hasNext()){
a=cin.nextDouble();
b=cin.nextDouble();
c=cin.nextDouble();
p=(a+b+c)/2;
s=Math.sqrt(p*(p-a)*(p-b)*(p-c));
DecimalFormat d=new DecimalFormat( "0.000" );
System.out.println(d.format(s));
}
}
}
import java.lang.Math.*;
import java.text.DecimalFormat;
public class A {
public static void main(String args[]){
Scanner cin=new Scanner(System.in);
double a,b,c,p,s;
while(cin.hasNext()){
a=cin.nextDouble();
b=cin.nextDouble();
c=cin.nextDouble();
p=(a+b+c)/2;
s=Math.sqrt(p*(p-a)*(p-b)*(p-c));
DecimalFormat d=new DecimalFormat( "0.000" );
System.out.println(d.format(s));
}
}
}