Cryptarithmetic Problem In Artificial Intelligence