Fine-grained Complexity of Partial Minimum Satisfiability