Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems