Puzzles solved by TOCHAA