For obscure reasons I know that this is the Finnish word for 'cats', and I wondered if there was any connection there. Apparently the answer is yes

https://github.com/arminbiere/kissat

or at least the developers have already noticed this coincidence for themselves.