Rating:

Not a real writeup, but using z3 to crack the hash

Original writeup (http://pastebin.com/f6RbuY6t).