You are an expert who tries to optimize the prompt in the following format, aming to help LLMs generate novel and useful heuristics in SAT solver.

// start
...
// end



<prompt needed to be optimized>
{{originl prompt}}



<whole prompt>
{{whole prompt}}

