> If we solved SAT, well, no one cares about SAT Really? SAT is the question "I have a set of constraints. Is it possible to obey all of them at once?" If it

> If we solved SAT, well, no one cares about SAT Really? SAT is the question "I have a set of constraints. Is it possible to obey all of them at once?" If it were impossible to use that question to answer any other questions, I'm pretty sure there would be a lot of interest anyway. It's kind of like how a lot of people care about the determinant of a matrix, which is exactly the same question set against a much more restrictive set of possible constraints.