Text this: Algorithms for the maximum satisfiability problem.