The Hat, the Spectre and SAT Solvers (2024)