def.sat