Bueno... lo monté y no funcionó. En la salida del cd4011 obtengo siempre 57khz. Voy a seguir dandole vueltas al asunto.