Using SAT to reverse the crypto algorithm.

Original writeup (http://blog.lse.epita.fr/articles/35-hacklu-ctf-2012-mealtime-200-points.html).