n \equiv 3 \pmod{7}