正方形ABCD的边长为2,点E、F分别在BC、CD,且CE=CF,三角形AEF的面积等于1,求EF的长.