works.sat