RUN: $(cryptarithm_sat_py3)