TSTP Solution File: SYO502^1 by Nitpick---2016