kovarex: This problem is interesting, but I believe that the second white answer needs to be also refuted by the solver, as it is not that obvious.
I added the answer, let me know if I made some mistakes there.
posetcay: I don't think S4-S5 variation is necessary, there are too many moves that work. For S4-S3-S1-S5, T2 still works.
This problem is interesting, but I believe that the second white answer needs to be also refuted by the solver, as it is not that obvious. I added the answer, let me know if I made some mistakes there.