x = 5 mod 9