Puzzles solved by AIXA