text: In complexity theory , the satisfiability problem ( SAT ) is a decision problem , whose instance is a Boolean expression written using only AND , OR , NOT , variables , and parentheses .
simplified: The Boolean satisfiability problem is a kind of problem .