E,F分别在正方形ABCD的边AB和BC上,AB=1,角EDF=45度.求三角形BEF的周长