Puzzles solved by SAL