ProtoDeuteric: This is the solution. "a" can be used later as a possible ko threat. If at
, then
at
.
TimK: If Black plays 1, then White has the throw in, and he gets a second eye.
Anonymous: Note that capturing with at a results in a snapback.