On the Performance of Congestion Games for Optimum Satisfiability Problems