In eighth grade I did a science fair project at the urging of my school. My mentor (the splendid Dr. Aaron Bradley) exhibited admirable patience in guiding me through coding a Boolean satisfiability solver in Python, and then I used it to solve Sudoku puzzles. The alleged experiment was to see if puzzles rated as harder would take longer to solve via SAT. In this repository is the code, the results, and the paper and poster that I wrote up. For historical interest only, as I cannot imagine the implementation or analysis could have any actual utility. You can see what I thought a scientific paper was supposed to look like back in eighth grade, I suppose...