Create tseitin.cpp