Rating:

Z3 to the rescue!

Original writeup (https://www.nevivur.net/writeups/2019/05/inshack-2019/#hack-code).