MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability