3 ms·

Did anyone use a SAT solver?