RUN: $(cryptarithm_sat)