For UNSAT problems with 10 variables and 200 clauses, it always claimed that the formula is SAT and made up assignments (See this example).
Мир Российская Премьер-лига|19-й тур
，推荐阅读Line官方版本下载获取更多信息
The result is in the output directory that I mapped as a volume.
ВсеСледствие и судКриминалПолиция и спецслужбыПреступная Россия
portfolio that generates sustainable annual