ef.sat