Упр.1211 ГДЗ Макарычев Миндюк 9 класс (Углубленный) (Алгебра)

Ниже вариант решения задания из учебника Макарычев, Миндюк, Нешков 9 класс, Просвещение:

1211. Сколькими способами из предиката (x-2)^2+(y+3)^2=441 с помощью кванторов существования и единственности можно получить высказывание? Сформулируйте эти высказывания.