lxn.sat