New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K