Plaisted-Geenbaum instead of plain Tseitin