已知正方形abcd边长为12,ef分别是ad.cd上的点,且ef=10,角ebf=45度,则ae长为多少