#coding: utf-8

nNums=list(map(int,input().split()))
nNums.sort()
nCt=len(nNums)
nSlices=nNums[1:nCt-1]
nAns=sum(nSlices)/nct-2
print(":.2f".format(nAns))