Files
kkFileView/server/libreoffice/share/extensions/nlpsolver/help/sat.done