This writeup demonstrates how to solve this challenge using angr, a binary analysis platform (http://angr.io).

Original writeup (https://github.com/angr/angr-doc/blob/master/examples/asisctffinals2015_fake/solve.py).