English: So, there is a clear relation and you need to think about little bit about this between the valid formula and the unsatisfiable formulas.
Telugu: కాబట్టి, స్పష్టమైన సంబంధం ఉంది మరియు చెల్లుబాటు అయ్యే ఫార్ములా మరియు సంతృప్తి చెందని సూత్రాల మధ్య మీరు దీని గురించి కొంచెం ఆలోచించాలి.