Text this: Parallel optimization for satisfiability problem solving.