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