https://puzzlellms.github.io/posts/Language-Models-can-be-Logical-Solvers/