If we did, we'd have a fast solution to SAT. so that's, that's an important, piece of knowledge where you focus on this one hard problem that we know about, and that tells us another problem, is that, the, the reduction tells us another problem that is at least as hard. and that by itself is interesting integer linear programming is a very important computation with lots of applications. but the a, amazing thing that was shown by Dick Carp in the 70s, is that there are lots and lots of problems that you can reduce satisfiability to. and actually you. 