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