Simon's Saga for the SAT