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