TSTP Solution File: SYO067^4.004 by Nitpick---2016