Transcript for:
Lessons from the SAT Circle Problem