Maximum SAT: Second Edition