Points B, C, F, E are picked on a circle such that BC//EF. When BC is extended to the left, point A is marked outside the circle such that AB = 4 and BC = 5. When EF is extended to the left, point D is marked outside the circle such that DE = 3. AD is perpendicular to both AC and DF. Find the length of EF.