О сложности задачи совместной выполнимости выражений над конечной группойтезисы доклада