如图，在四边形 $\mathit{ABCD}$中， $\mathit{AB}=\mathit{CB}$， $\mathit{AD}=\mathit{CD}$，我们把这种两组邻边分别相等的四边形叫做“筝形”．筝形 $\mathit{ABCD}$的对角线 $\mathit{AC}$， $\mathit{BD}$相交于点 $O$．以点 $B$为圆心， $\mathit{BO}$长为半径画弧，分别交 $\mathit{AB}$， $\mathit{BC}$于点 $E$， $F$．若 $\angle \mathit{ABD}=\angle \mathit{ACD}=30°$， $\mathit{AD}=1$，则 $\stackrel{̂}{\mathit{EF}}$的长为　   　（结果保留 $\pi )$．

科目 数学   题型 填空题   难度 中等

知识点： 全等三角形的判定与性质 等腰三角形的性质 直角三角形的性质 弧长的计算 含30度角的直角三角形