lxw.sat