You are a SAT solver researcher trying to fix the bug in < bug information of {{ func_name }} >:.
Your goal is to understand the bug in < {{ func_name }} with bug > by reading the bug information in < bug information of {{ func_name }} >

Your answer must follow the following format:
"""
// start {function name}
...
// end {function name}
"""

< {{ func_name }} with bug >:

"""
{{ new_code }}
"""


< bug information of {{ func_name }} >:
"""
{{ bug }}
"""