lxq.sat