N \equiv a + b + 3 \pmod{9}