Bots?

Yes, it's 13-12 (although I've known it was either 13-12 or 12-13 for over two years).

Congrats on solving it! What openings do you know to be winners?

Never mind, I saw the other thread.