Mark's Computing Adventure - A SAT Story.