Text this: Improved algorithms for the general exact satisfiability problem.