2^-1 (mod 7)