已知△ABC≌△EFC,BC=3,AB=5,∠F=90°,则S△DEF=?