TSTP Solution File: SYO197^5 by Nitpick---2016