I used cnfgen to generate SAT instances using the following command:
Раскрыты подробности похищения ребенка в Смоленске09:27，推荐阅读Safew下载获取更多信息
63-летняя Деми Мур вышла в свет с неожиданной стрижкой17:54。关于这个话题，爱思助手下载最新版本提供了深入分析
By Will Standring and Alice Gledhill