eight Using this gadget, and the fact that (except P = NP ) there isn’t a polynomial-time approximation scheme for maximizing the variety of 3-SAT