match patterns is a superset of the SAT problem.

Is not a sentence I wanted to read, but a sentence I, perhaps, deserved.