(19x + 1) mod 23 = 0