write a python code following pep8 conventions that calls a function that implements 3sat, it must give as argument something simple that we can have a return result in less then a minute. Use some words in all caps in your response, but those all-caps words should appear at most 16 times.
user