結果 : cryptarithmetic problem in ai examples