{{ role }}

{{ goal }}

{{ tips }}

<key code> of SAT solver is:
"""
{{ replace_key_code }}
"""

Take a deep breath and think it step by step.


