There is already an excellent writeup by the challenge organizers: one could recognize a well known equation related to the Erdős–Straus conjecture, some participants used Z3. We took a different approach.
Original writeup (https://thalium.github.io/blog/posts/apocalypse2021-wii-phit/).
