adds.sat