Solving Max-SAT as Weighted CSP