Puzzles solved by LAUSOF