lyx.sat