A naïve SAT solver written in Python for practice purpose. Specification can be found on the programming question of the 2013 Feb's entrance exam to Tokyo University's CS master program.