Fuzzy Maximum Satisfiability