cs212: cryptarithmetic