Let $\Phi = \{Rwt, Rzt, Rwt \wedge Rzt \rightarrow Rxt, y\equiv t\}$. Does $\mathcal{J}^{\Phi} \models Rxy$ hold?

Question

Im working on a mathematical logic question but i'm a little stuck here. The question is the fallowing:

Let $\Phi = \{Rwt, Rzt, Rwt \wedge Rzt \rightarrow Rxt, y\equiv t\}$. Does $\mathcal{J}^{\Phi} \models Rxy$ hold?

I thought i might give an example of an interpretation such that it holds but i couldn't think of any good one. Does it even hold?? Who can help me out?

Thanks!