solve (x * 25214903917 + 11) * 25214903917 + 11 = x (mod 2^32)