lzf.sat