TSTP Solution File: SYO666-1 by Nitpick---2016