ChatGPT - Perl SAT Solver README