Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set