Also, hardware for design automation. people model what's going on with huge satisfiability problems and solve them. it's, it's so basic that it even arises in, in, in physics, and scientific studies, and. 