Cryptarithmetic Problem Solving