I used cnfgen to generate SAT instances using the following command:
Депутат от партии Зеленского едва не стал жертвой бусификации на УкраинеНардеп от партии Зеленского Каптелов едва не стал жертвой бусификации в Днепре
，更多细节参见爱思助手下载最新版本
Гангстер одним ударом расправился с туристом в Таиланде и попал на видео18:08。91视频对此有专业解读
黎智英欺詐案上訴得直：定罪及刑罰被撤銷，出獄時間提前，更多细节参见WPS下载最新地址