TSTP Solution File: SYO071^4.001 by Nitpick---2016