A countable definable set of reals containing no definable elements

We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface ${\mathrm{\Pi }}_2^1$ set of reals containing no ordinal-definable real.