fix 2sat template