A PyGame game based on 3-CNF sat