Puzzles solved by IPC