reverted techniques
Fixed CNF