Puzzles solved by WARWIC