Giriş #1086

Ок, но тогда надо несколько изменить формулировки, выдаваемые анализатором для проблемных кроссвордов, а то они вводят в заблуждение. А то как будто если кроссворд не решаем простейшими методами, то он не решаем с помощью логики вообще. И хорошо бы, наряду с решаемостью (то есть решаемостью стандартным методом), оставить существовавшую прежде формулировку: кроссворд корректен и имеет единственное решение, или же кроссворд имеет несколько вариантов, или у него этих вариантов куча (и только в последнем случае он действительно нерешаем).