2 ms·

“”Find a linear certificate of unsatisfiability for the flower snark clauses” I wonder how long that will take to start showing up on interview questions.