factor(21181 2^(28)+1)