如图，∠ABC=30°，AB=8，F是射线BC上一动点，D在线段AF上，以AD为腰作等腰直角三角形ADE（点A，D，E以逆时针方向排列），且AD=DE=1，连结EF，则EF的最小值为．