On Satisfiability Games and the Power of Congestion Games