x\equiv y\equiv r\pmod{12}