A 12.6-ms pulsar in Cygnus X-3