Tseitin transformation