solutions to daily puzzles from http://www.problemotd.com/