A Constraint Satisfaction Approach for Estimating the RSA Prime Factors towards Known Bits Factorization Attacks