TSTP Solution File: SYO591+1 by Nitpick---2016