PanLinx
العربية
arb-000
قابل للإرضاء
English
eng-000
satisfiable
PanLex