SAT Log:
Some Adventures in Solving Problems with AND, OR, and NOT