Puzzles solved by KAREL