TSTP Solution File: SYO402^1 by Nitpick---2016