5 + x = 4 mod 7