solving modulo congruent equations