Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT