set.sat