#include <stdio.h>
int i,j,tem=0;
int max(int a,int b,int c)
{
    int arr[100];
    arr[0]=a;
    arr[1]=b;
    arr[2]=c;
    for(i=0;i<2;i++)
    {
        for(j=0;j<2;j++)
        if(arr[j]<arr[j+1])
        {
            arr[j]=tem;
            arr[j]=arr[j+1];
            arr[j+1]=tem;
        }
    }
    return arr[0];
}
int a,b,c,max1,max2,max3;
int main() {
    scanf("%d %d %d",&a,&b,&c);
    max1=max(a+b,b,c);
    max2=max(a,b+c,c);
    max3=max(a,b,b+c);
    printf("%.2f",1.0*max1/(max2+max3));
    return 0;
}