Yet Satisfiability Again!#7535

Yet Satisfiability Again! (Discussion)