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