Хроматическое число плоскости и SAT-солверыдоклад на конференции