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