lxp.sat