Exhaustive search, just try all the truth assignments. and really what that means is, they have an algorithm that if doesn't find the right tru th assignment it might wind up trying all of them. but you might find on earlier and that's, that's what happens with practice. but the big question is, can we do anything that is really substantially more clever than sat? then, then the brute force algorithm. that, that is an algorithm run brute force in the, in the worst, worst case. 