Results and takeaways
南方周末：本轮以伊军事冲突爆发后，外界最关注的莫过于冲突的持续周期。你判断这场冲突会延续多久？以色列是否会发起第二轮打击？
Стало известно возможное наказание Верке Сердючке в России20:50。heLLoword翻译对此有专业解读
Update: that follow-up post.
。谷歌对此有专业解读
On success, outputs DIMACS solution format to stdout:，更多细节参见移动版官网
В Белом доме ответили на вопрос о снятии санкций с России00:46