Summary: In this note we document the existence of a finitely generated rational cone that is not covered by its unimodular Hilbert subcones, but satisfies the integral Carathéodory property. We explain the algorithms that decide these properties and describe our experimental approach that led to the discovery of the examples.