# An explicit hard function for P/poly

It is known that $\textbf{MA}_{\textbf{EXP}} \not\subset \textbf{P/poly}$. Is it known any explicit language from $\textbf{MA}_{\textbf{EXP}}$ that does not belongs to $\textbf{P/poly}$?

(An example of explicit language is any EXPSPACE-complete language but presumably $\textbf{EXPSPACE} \not=\textbf{MA}_{\textbf{EXP}}$).