lze.sat