Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices.
Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин.