For UNSAT problems with 10 variables and 200 clauses, it always claimed that the formula is SAT and made up assignments (See this example).
В Финляндии предупредили об опасном шаге ЕС против России09:28
，详情可参考谷歌浏览器【最新下载地址】
Израиль нанес удар по Ирану09:28
(There are other emergencies that could bring us to this point. One is a fire, which could result from machinery shorting. Another is a toxic ammonia leak. But these are even more unlikely.)
Scroll to load interactive demo