PanLinx
italiano
ita-000
soddisfabile
English
eng-000
satisfiable
PanLex
