<svg width="40" height="40" viewBox="0 0 40 40" fill="none" xmlns="http://www.w3.org/2000/svg">
<path d="M25.9142 13.5858L27.3284 15L25.7017 16.6274C26.8229 17.9381 27.5 19.64 27.5 21.5C27.5 25.6421 24.1421 29 20 29C15.8579 29 12.5 25.6421 12.5 21.5C12.5 17.3579 15.8579 14 20 14C21.5601 14 23.0089 14.4763 24.209 15.2915L25.9142 13.5858ZM20 16C16.9624 16 14.5 18.4624 14.5 21.5C14.5 24.5376 16.9624 27 20 27C23.0376 27 25.5 24.5376 25.5 21.5C25.5 18.4624 23.0376 16 20 16ZM23 11V13H17V11H23Z"/>
<path fill-rule="evenodd" clip-rule="evenodd" d="M18 25V23.25H21.3333V22.375H18V20.625H21.3333V19.75H18V18H21.5C22.3284 18 23 18.6716 23 19.5V20C23 20.8284 22.3284 21.5 21.5 21.5C22.3284 21.5 23 22.1716 23 23V23.5C23 24.3284 22.3284 25 21.5 25H18Z"/>
</svg>