Yes, "mith" is Philip Newman. Both the search for the 18c and the impossibility "proof" of 17c were happening on the CtC Discord server over the last couple of weeks (on which both of you guys would be more than welcome, btw. From China that would require a VPN though).
I could add that I found a unique 12c caged anti-knight and a 11c anti-knight with 2 solutions, but we believe, though not rigorously proven, that 11c unique does not exist.
I could add that I found a unique 12c caged anti-knight and a 11c anti-knight with 2 solutions, but we believe, though not rigorously proven, that 11c unique does not exist.