Solves boolean satisfiability problem using a brute force search.