Solution with z3 even if Fiora didn't use z3 to solve it :D

Original writeup (https://github.com/MhackGyver-Squad/MhackGyver/blob/master/writeup/AndroidSerial.md).