MAX 3-SAT + Vertex Cover