r=gets.split(" ").map!(&:to_i)
g=r.min
r.map!{|e|e-g}.sort!;

loop{
    #p [g,r]
    if r[1]==0
        break if r[2]/5<=0
        g+=r[2]/5
        r[2]=r[2]-r[2]/5*5
    elsif r[1]*3<r[2]
        t=r[1]
        g+=t
        r[2]-=t*3
        r[1]-=t
    elsif r[2]-r[1]>1
        t=(r[2]-r[1])/2
        r[2]-=t*3
        r[1]-=t
        g+=t
    else
        break if r[1]<4
        t=r[1]/4
        r[1]-=t*4
        r[2]-=t*4
        g+=t*2
    end
    r.sort!
}
g+=1 if r[2]==3 && r[1]>0
p g