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