Puzzles solved by SAUL