Puzzles solved by ISAAC