y\equiv 2\pmod{12}