Ejemplos de cnf y archivo de satformat en pdf.