I'm posting this even when there are 4 other solutions because I solved it in a completely different way. I used a framework named angr which is built based on symbolic execution. Just have a glance.

Original writeup (http://nagesh.blog/2017/09/04/tokyo-westerns-ctf-reversing-1.html).