A few puzzles to test the solver