PanLinx
português
por-000
satisfazível
English
eng-000
satisfiable
PanLex
