Given a △ABC with circumcircle Γ. Let A′ be the antipode of A in Γ and D be the point s.t. △BCD is an equilateral triangle (A and D are on the opposite side of BC). Let the perpendicular from A′ to A′D cuts CA, AB at E, F, resp. and T be the point s.t. △ETF is an isosceles triangle with base EF and base angle 30∘ (A and T are on the opposite side of EF). Prove that AT passes through the 9-point center of △ABC.Proposed by Telv Cohl geometrygeometry proposed