<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 16ZM21 17V22H19V17H21ZM23 11V13H17V11H23Z"/>
</svg>