Puzzles solved by SAC