#síntesis de restricciones