Yet Satisfiability Again! (#7535) - Basecamp