Entropy of the K-satisfiability problem.