Joy-to-the-world-SAT