3 ms·Surely you mean 3-SAT, because 2-SAT is trivial :-)by c-cube 6y agoSurely you mean 3-SAT, because 2-SAT is trivial :-)