Added a couple more, harder puzzles. puzzle3.py can be solved but puzzle4.py cannot be solved with the current version of this solver.