lxk.sat