Solution ( at )
is forced because at is met by at !
continued
...White gets an approach ko.
Failure
This is insufficient. Black wins.