Evening's Dawn approached me and asked if I would take a commission for her and the 2022 Derpibooru collab, which I quickly accepted – but that was when my research into Zarankiewicz's problem was well underway. I had already got a few new values, and I stayed up all night to watch my trusted KISSAT SAT solver churn out proofs leading to the result in the title – the next term of OEIS A072567. I was so excited that when I went to draw the commission my hands were trembling.
