3x=1 mod 7