3 ms·Okay - that 2-SAT fact makes sense. Thanks!by bartonfink 16y agoOkay - that 2-SAT fact makes sense. Thanks!