3 ms·Or resort to a SAT solver right away.by jdthedisciple 3y agoOr resort to a SAT solver right away.