在三角形ABc中,AB=Ac,EF是AB的垂直平分线,三角形BcE的周长是48,Bc=20,求AF的长