lug.sat