CDCL(Crypto) and Machine Learning based SAT Solvers for Cryptanalysis