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