在△ABC和△DEF中,已知AB=4,BC=5,AC=8,DE=6,DF=12,那么当EF=()时.△ABC相似于△DE