Regular hexagon ABCDEF is inscribed in rectangle PQRS. If [AFP] = 20 and [ABC] = 25, then find [ABCDEF].