no such package: sat-templates