Use Z3 Sat solver to calculate the flag

Original writeup (https://hong5489.github.io/2022-03-01-susctf2022/#DigitalCircuits).