Extremal Colorings And Extremal Satisfiability