update templates add 2SAT and SCC