Puzzles solved by CEVAI