RUN: $(assignment_with_constraints_sat_py3)