Puzzles solved by EVIKA